#2999: yi darcs crashes ghc 6.11.20090201
----------------------------------------+-----------------------------------
Reporter: wolverian | Owner: chak
Type: bug | Status: closed
Priority: normal | Milestone:
Component: Compiler (Type checker) | Version: 6.11
Severity: normal | Resolution: fixed
Keywords: xen, linux, yi | Difficulty: Unknown
Testcase: | Os: Linux
Architecture: x86_64 (amd64) |
----------------------------------------+-----------------------------------
Changes (by simonpj):
* status: new => closed
* difficulty: => Unknown
* resolution: => fixed
Old description:
> {{{Building yi-0.5.3...
> [ 1 of 107] Compiling System.FriendlyPath ( System/FriendlyPath.hs,
> dist/build/System/FriendlyPath.o )
> [ 2 of 107] Compiling Shim.ProjectContent ( Shim/ProjectContent.hs,
> dist/build/Shim/ProjectContent.o )
> WARNING: file simplCore/SimplCore.lhs line 545
> Simplifier still going after 4 iterations; bailing out. Size = 4969
>
> [ 3 of 107] Compiling Parser.Incremental ( Parser/Incremental.hs,
> dist/build/Parser/Incremental.o )
> ghc: panic! (the 'impossible' happened)
> (GHC version 6.11.20090201 for x86_64-unknown-linux):
> ASSERT failed! file typecheck/TcTyFuns.lhs line 286
> [Wanted t_a89i{tv} [tau] :: a{tv a89b} [sk]
> ~
> a{tv a89a} [sk] -> t_a89h{tv} [tau]]
> }}}
New description:
{{{
Building yi-0.5.3...
[ 1 of 107] Compiling System.FriendlyPath ( System/FriendlyPath.hs,
dist/build/System/FriendlyPath.o )
[ 2 of 107] Compiling Shim.ProjectContent ( Shim/ProjectContent.hs,
dist/build/Shim/ProjectContent.o )
WARNING: file simplCore/SimplCore.lhs line 545
Simplifier still going after 4 iterations; bailing out. Size = 4969
[ 3 of 107] Compiling Parser.Incremental ( Parser/Incremental.hs,
dist/build/Parser/Incremental.o )
ghc: panic! (the 'impossible' happened)
(GHC version 6.11.20090201 for x86_64-unknown-linux):
ASSERT failed! file typecheck/TcTyFuns.lhs line 286
[Wanted t_a89i{tv} [tau] :: a{tv a89b} [sk]
~
a{tv a89a} [sk] -> t_a89h{tv} [tau]]
}}}
Comment:
I've pushed a patch that makes it a warning only. That should resolve it.
{{{
Wed Feb 4 08:38:00 GMT 2009 [email protected]
* Fix Trac #2999: change an ASSERT to a WARN
}}}
Simon
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2999#comment:4>
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
