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
co
Hi everybody,
I am working with Hint, after some discussion with Daniel Gorin, I decided
to post here, I hope it's the right place.
My problem with Hint is that I cannot get context in error messages while
interpreting a string. If you run the attached file example.hs, you get:
GhcError {errMsg =
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
t
Hello,
I've noticed that probably after cabal/ghc-pkg changes done recently
HEAD fails to build with HEAD in following way:
[80 of 80] Compiling Main ( utils/ghc-cabal/Main.hs,
bootstrapping/Main.o )
Linking utils/ghc-cabal/dist/build/tmp/ghc-cabal ...
"touch" utils/ghc-cabal/dis
