Re: What is testsuite/tests/rename/should_fail/rnfail018.hs supposed to test?
David,
the comment in the test says what crashed ghc-4.04proto: the parens after the
for-all fooled it.
So I suppose that forall b. StateMonad (a,b) m = m a worked fine but forall
b. (StateMonad
(a,b) m = m a) crashed GHC. This test is in a should_fail folder, which means
that the
compilation of this file should fail and GHC should report an error. Take a
look at the
rnfail018.stderr file. It says what output do we expect on the standard error.
You can see that
we expect a and m to be out of scope, which according to your mail is exactly
what happens. Note
also the file name - rnfail - which stands for renamer failure (you can see
this also from
names of directories).
Janek
Dnia poniedziałek, 8 września 2014, David Feuer napisał:
When I compile this with 7.8.3, it gives an error message saying that type
variables a and m are not in scope. If I add them to the forall, it tells
me I need FlexibleContexts. If I add that, then it gives me an error about
an ambiguous type variable. Clearly, something crashed ghc-4.04proto, but
there's no indication of what that was. If this test is still at all
relevant, it probably needs to be updated to target something more
narrowly.
The program:
{-# LANGUAGE MultiParamTypeClasses, ExplicitForAll #-}
module ShouldFail where
-- !!! For-all with parens
-- This one crashed ghc-4.04proto; the parens after the for-all fooled it
class Monad m = StateMonad s m where
getState :: m s
setState0 :: forall b. (StateMonad (a,b) m = m a)
setState0 = getState = \ (l,_r) - return l
David Feuer
___
ghc-devs mailing list
ghc-devs@haskell.org
http://www.haskell.org/mailman/listinfo/ghc-devs
RE: Trying to fix an efficiency issue noted in a TODO in SAT.hs
The static argument transformation is currently run only when –fstatic-argument-transformation is specified; i.e almost never. It has not received any love for some time. I note the following comment from Max Bolingbroke in DynFlags.hs -- , ([2], Opt_StaticArgumentTransformation) -- Max writes: I think it's probably best not to enable SAT with -O2 for the -- 6.10 release. The version of SAT in HEAD at the moment doesn't incorporate -- several improvements to the heuristics, and I'm concerned that without -- those changes SAT will interfere with some attempts to write high -- performance Haskell, as we saw in some posts on Haskell-Cafe earlier -- this year. In particular, the version in HEAD lacks the tail call -- criterion, so many things that look like reasonable loops will be -- turned into functions with extra (unnecessary) thunk creation. I’m therefore reluctant to commit refactoring to SAT. They will, in effect, be entirely un-tested. There is a ticket here: https://ghc.haskell.org/trac/ghc/ticket/9374 Do by all means add your diffs to it, so that if anyone (possibly even you) picks it up they will get the benefit of your work. Simon From: ghc-devs [mailto:ghc-devs-boun...@haskell.org] On Behalf Of David Feuer Sent: 07 September 2014 04:06 To: ghc-devs Subject: Trying to fix an efficiency issue noted in a TODO in SAT.hs compiler/simplCore/SAT.hs has a TODO comment about the fact that it does a fair bit of appending onto the ends of lists, and that should be done differently. I made an attempt to fix it. The complexity of the recursion, however, leaves me uncertain as to whether I really did or not. I've attached a diff and I hope someone will be able to take a look at it. The only use of Sequence.fromList is source line 172, and the only significant use of Foldable.toList (aside from pretty-printing) is on source line 402. Note that the use of Sequence may be temporary—I want to get the right code structure down before choosing the best data structure. Thanks, David Feuer ___ ghc-devs mailing list ghc-devs@haskell.org http://www.haskell.org/mailman/listinfo/ghc-devs
Status updates
Hi *, Here are some status updates: - I've merged the Applicative Monad patchset! Yay! Many thanks to Nathan Howell for helping me out in the end there. Please let me know if anything explodes horribly (I hope not). - Gabor has set up some build documentation for us based on HEAD, hooray! See here - http://haskell.inf.elte.hu/ - I still need to fix haskell.org/ghc to link to this properly (there may be other dead links, please let me know). - As I'm sure most of you were aware, it was a slow week due to ICFP related events being most of last week. - As I'm also sure you were aware, Haskell.org suffered a lot of instability this past week. I've been focusing most of my efforts since about Thursday on this, since it's come and gone a lot and has needed some consistent monitoring. Unfortunately, it is not done yet, and there is still more work to be done. :( - ghc.haskell.org was migrated to a new server in the US as a part of this effort this weekend (send a thanks to Herbert). In general, you should notice nothing really new, but latency for UK citizens may be a bit higher than it was before now. - Now that Applicative/Monad is done, there are some more changes to 'base' that will happen (Bifunctors, Foldable/Traversable) that will need to happen. So I'm sure this discussion will start soon. - I still can't set up the Windows bot yet, sorry! Phabricator work is still not yet available upstream. Hopefully soon. - Sergei spent some time filing bugs that we should fix in the testsuite, because they fail --slow validate. I believe these are two of them: - https://ghc.haskell.org/trac/ghc/ticket/9567 - https://ghc.haskell.org/trac/ghc/ticket/9566 We'll probably need to fix these before we turn it on. Simon, these look like something up your alley... - For those who missed ICFP, Simon gave a nice status update for GHC, which is on YouTube: https://www.youtube.com/watch?v=Ex79K4lvJnolist=PL4UWOFngo5DW6nKDjK0UB5Oy9zmdWdo7Kindex=5 -- Regards, Austin Seipp, Haskell Consultant Well-Typed LLP, http://www.well-typed.com/ ___ ghc-devs mailing list ghc-devs@haskell.org http://www.haskell.org/mailman/listinfo/ghc-devs
Re: Status updates
Hi, Am Dienstag, den 09.09.2014, 08:34 -0500 schrieb Austin Seipp: - I've merged the Applicative Monad patchset! Yay! Many thanks to Nathan Howell for helping me out in the end there. Please let me know if anything explodes horribly (I hope not). Not horrible, but still, it breaks: inplace/bin/ghc-cabal check libraries/filepath inplace/bin/ghc-cabal configure libraries/filepath dist-install --with-ghc=/home/travis/build/ghc/ghc/inplace/bin/ghc-stage1 --with-ghc-pkg=/home/travis/build/ghc/ghc/inplace/bin/ghc-pkg --disable-library-for-ghci --enable-library-vanilla --enable-library-for-ghci --disable-library-profiling --disable-shared --configure-option=CFLAGS=-Wall -fno-stack-protector-Werror=unused-but-set-variable -Wno-error=inline --configure-option=LDFLAGS=--configure-option=CPPFLAGS= --gcc-options=-Wall -fno-stack-protector-Werror=unused-but-set-variable -Wno-error=inline --with-gcc=/usr/bin/gcc --with-ld=/usr/bin/ld --configure-option=--with-cc=/usr/bin/gcc --with-ar=/usr/bin/ar --with-alex=/opt/alex/3.1.3/bin/alex --with-happy=/opt/happy/1.19.4/bin/happy Configuring filepath-1.3.0.2... ghc-cabal: At least the following dependencies are missing: base =4 4.8 https://s3.amazonaws.com/archive.travis-ci.org/jobs/34812365/log.txt - Gabor has set up some build documentation for us based on HEAD, hooray! See here - http://haskell.inf.elte.hu/ - I still need to fix haskell.org/ghc to link to this properly (there may be other dead links, please let me know). It’s a blank page for me. Thanks for the update and your work! Joachim -- Joachim “nomeata” Breitner m...@joachim-breitner.de • http://www.joachim-breitner.de/ Jabber: nome...@joachim-breitner.de • GPG-Key: 0xF0FBF51F Debian Developer: nome...@debian.org signature.asc Description: This is a digitally signed message part ___ ghc-devs mailing list ghc-devs@haskell.org http://www.haskell.org/mailman/listinfo/ghc-devs
Re: Status updates
Yes, brainfart - sorry! Herbert kept telling me to bump base's version number after that change - so I did. But I accidentally broke part of the bootstrap process in my haste. Not AMP related, at least. :) A fix is incoming shortly. On Tue, Sep 9, 2014 at 8:43 AM, Joachim Breitner m...@joachim-breitner.de wrote: Hi, Am Dienstag, den 09.09.2014, 08:34 -0500 schrieb Austin Seipp: - I've merged the Applicative Monad patchset! Yay! Many thanks to Nathan Howell for helping me out in the end there. Please let me know if anything explodes horribly (I hope not). Not horrible, but still, it breaks: inplace/bin/ghc-cabal check libraries/filepath inplace/bin/ghc-cabal configure libraries/filepath dist-install --with-ghc=/home/travis/build/ghc/ghc/inplace/bin/ghc-stage1 --with-ghc-pkg=/home/travis/build/ghc/ghc/inplace/bin/ghc-pkg --disable-library-for-ghci --enable-library-vanilla --enable-library-for-ghci --disable-library-profiling --disable-shared --configure-option=CFLAGS=-Wall -fno-stack-protector-Werror=unused-but-set-variable -Wno-error=inline --configure-option=LDFLAGS=--configure-option=CPPFLAGS= --gcc-options=-Wall -fno-stack-protector-Werror=unused-but-set-variable -Wno-error=inline --with-gcc=/usr/bin/gcc --with-ld=/usr/bin/ld --configure-option=--with-cc=/usr/bin/gcc --with-ar=/usr/bin/ar --with-alex=/opt/alex/3.1.3/bin/alex --with-happy=/opt/happy/1.19.4/bin/happy Configuring filepath-1.3.0.2... ghc-cabal: At least the following dependencies are missing: base =4 4.8 https://s3.amazonaws.com/archive.travis-ci.org/jobs/34812365/log.txt - Gabor has set up some build documentation for us based on HEAD, hooray! See here - http://haskell.inf.elte.hu/ - I still need to fix haskell.org/ghc to link to this properly (there may be other dead links, please let me know). It’s a blank page for me. Thanks for the update and your work! Joachim -- Joachim “nomeata” Breitner m...@joachim-breitner.de • http://www.joachim-breitner.de/ Jabber: nome...@joachim-breitner.de • GPG-Key: 0xF0FBF51F Debian Developer: nome...@debian.org ___ ghc-devs mailing list ghc-devs@haskell.org http://www.haskell.org/mailman/listinfo/ghc-devs -- Regards, Austin Seipp, Haskell Consultant Well-Typed LLP, http://www.well-typed.com/ ___ ghc-devs mailing list ghc-devs@haskell.org http://www.haskell.org/mailman/listinfo/ghc-devs
Re: Status updates
- Gabor has set up some build documentation for us based on HEAD, hooray! See here - http://haskell.inf.elte.hu/ - I still need to fix haskell.org/ghc to link to this properly (there may be other dead links, please let me know). It’s a blank page for me. Should probably be http://haskell.inf.elte.hu/builders/ Karel ___ ghc-devs mailing list ghc-devs@haskell.org http://www.haskell.org/mailman/listinfo/ghc-devs
Re: Status updates
Nope, my bad again. The actual link is: http://haskell.inf.elte.hu/docs/ On Tue, Sep 9, 2014 at 8:49 AM, Karel Gardas karel.gar...@centrum.cz wrote: - Gabor has set up some build documentation for us based on HEAD, hooray! See here - http://haskell.inf.elte.hu/ - I still need to fix haskell.org/ghc to link to this properly (there may be other dead links, please let me know). It’s a blank page for me. Should probably be http://haskell.inf.elte.hu/builders/ Karel ___ ghc-devs mailing list ghc-devs@haskell.org http://www.haskell.org/mailman/listinfo/ghc-devs -- Regards, Austin Seipp, Haskell Consultant Well-Typed LLP, http://www.well-typed.com/ ___ ghc-devs mailing list ghc-devs@haskell.org http://www.haskell.org/mailman/listinfo/ghc-devs
Re: Status updates
not sure why, but in the build docs, the version numbers on the module packages look... bonkers http://haskell.inf.elte.hu/docs/7.9.20140908/html/libraries/index.html eg GHC.PackageDb http://haskell.inf.elte.hu/docs/7.9.20140908/html/libraries/bin-package-db-0.0.0.0/GHC-PackageDb.html binpa_JutoagPF9VL3G583BCA0 On Tue, Sep 9, 2014 at 9:50 AM, Austin Seipp aus...@well-typed.com wrote: Nope, my bad again. The actual link is: http://haskell.inf.elte.hu/docs/ On Tue, Sep 9, 2014 at 8:49 AM, Karel Gardas karel.gar...@centrum.cz wrote: - Gabor has set up some build documentation for us based on HEAD, hooray! See here - http://haskell.inf.elte.hu/ - I still need to fix haskell.org/ghc to link to this properly (there may be other dead links, please let me know). It’s a blank page for me. Should probably be http://haskell.inf.elte.hu/builders/ Karel ___ ghc-devs mailing list ghc-devs@haskell.org http://www.haskell.org/mailman/listinfo/ghc-devs -- Regards, Austin Seipp, Haskell Consultant Well-Typed LLP, http://www.well-typed.com/ ___ ghc-devs mailing list ghc-devs@haskell.org http://www.haskell.org/mailman/listinfo/ghc-devs ___ ghc-devs mailing list ghc-devs@haskell.org http://www.haskell.org/mailman/listinfo/ghc-devs
Re: Status updates
On Tue, 9 Sep 2014 08:34:03 -0500 Austin Seipp aus...@well-typed.com wrote: - Sergei spent some time filing bugs that we should fix in the testsuite, because they fail --slow validate. I believe these are two of them: - https://ghc.haskell.org/trac/ghc/ticket/9567 - https://ghc.haskell.org/trac/ghc/ticket/9566 Yeah, I believe the complete list for --slow is only 5 failures: https://ghc.haskell.org/trac/ghc/ticket/9565 - dead loop in simplifier https://ghc.haskell.org/trac/ghc/ticket/9424 - debugged ghc does not unload Show instances after data redefinition (or not :]) https://ghc.haskell.org/trac/ghc/ticket/9426 - something similar with redefinition in ghci https://ghc.haskell.org/trac/ghc/ticket/9566 - corelint error in simplifier https://ghc.haskell.org/trac/ghc/ticket/9567 - another corelint error in simplifier -- Sergei signature.asc Description: PGP signature ___ ghc-devs mailing list ghc-devs@haskell.org http://www.haskell.org/mailman/listinfo/ghc-devs
