#3787: GHC 6.12.1 panic
---------------------------------+------------------------------------------
Reporter: blamario | Owner: simonmar
Type: bug | Status: new
Priority: high | Milestone: 6.12.2
Component: Compiler | Version: 6.12.1
Resolution: | Keywords: panic
Difficulty: | Os: Linux
Testcase: | Architecture: x86_64 (amd64)
Failure: Compile-time crash |
---------------------------------+------------------------------------------
Comment (by simonpj):
Thank you for boiling this down. If you compile with `-dcore-lint` you'll
see that the typechecker is constructing an ill-typed program. I'm not
sure why yet.
I don't know whether that is the cause of the `nameModule` error, but I
suppose it could be.
As it happens I plan to work on the type-inference engine (and the
constraint solver in particular) over the next two or three months, so
I'll fix it as part of that sweep.
Meanwhile, the problem is associated with contexts that have equalities in
them, eg:
{{{
resolveProducerConsumer
:: forall a s s0 t t' m x.
(Functor s0, Monad m, s ~ SomeFunctor (TryYield a) (Await (Maybe a)),
t ~ Trampoline (EitherFunctor s0 s) m x) =>
s t -> t
}}}
You can get rid of these easily by replacing `s` by `(SomeFunctor
(TryYield a) (Await (Maybe a)))`, and similarly for `t`. I tried this,
and it worked.
Meanwhile I'll keep the test -- thank you!
Simon
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/3787#comment:5>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
