Re: [GHC] #2999: yi darcs crashes ghc 6.11.20090201
#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 simo...@microsoft.com
* 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
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #2999: yi darcs crashes ghc 6.11.20090201
#2999: yi darcs crashes ghc 6.11.20090201 -+-- Reporter: wolverian| Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler (Type checker) |Version: 6.11 Severity: normal | Resolution: Keywords: xen, linux, yi | Testcase: Os: Linux| Architecture: x86_64 (amd64) -+-- Comment (by chak): Do you have the same problem with 6.10.1, or is this specific to the development version aka HEAD? -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/2999#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #2999: yi darcs crashes ghc 6.11.20090201
#2999: yi darcs crashes ghc 6.11.20090201 -+-- Reporter: wolverian| Owner: chak Type: bug | Status: new Priority: normal | Milestone: Component: Compiler (Type checker) |Version: 6.11 Severity: normal | Resolution: Keywords: xen, linux, yi | Testcase: Os: Linux| Architecture: x86_64 (amd64) -+-- Changes (by chak): * owner: = chak Comment: On second thought, it's not really important whether it happend in 6.10.1. You should see this problem '''only''' when you use a version of GHC that has been compiled with debugging (of the compiler) enabled - i.e., the compiler was compiled with `-DDEBUG`. Due to an infelicity in the type checker, some type variables (represented by IORefs) are currently updated twice in certain contexts. This is usually a harmless -if annoying- problem as the type variable should be updated twice with the same type term. However, a debugging compiler has assertions that catch repeated updates, which is why you see this panic. We have been planning to clean up the relevant code (by using side effects less liberally than they are at the moment - surely a Good Thing!), but it involves quite a bit of code rewriting, which is why it hasn't happend yet. For the moment, I can only suggest to use a compiler that hasn't been compiled with `-DDEBUG`. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/2999#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
[GHC] #2999: yi darcs crashes ghc 6.11.20090201
#2999: yi darcs crashes ghc 6.11.20090201
---+
Reporter: wolverian | Owner:
Type: bug | Status: new
Priority: normal | Component: Compiler (Type checker)
Version: 6.11| Severity: normal
Keywords: xen, linux, yi | Testcase:
Os: Linux | Architecture: x86_64 (amd64)
---+
{{{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]]
}}}
--
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/2999
GHC http://www.haskell.org/ghc/
The Glasgow Haskell Compiler___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #2999: yi darcs crashes ghc 6.11.20090201
#2999: yi darcs crashes ghc 6.11.20090201
-+--
Reporter: wolverian| Owner:
Type: bug | Status: new
Priority: normal | Milestone:
Component: Compiler (Type checker) |Version: 6.11
Severity: normal | Resolution:
Keywords: xen, linux, yi | Testcase:
Os: Linux| Architecture: x86_64 (amd64)
-+--
Comment (by wolverian):
Ugh. Let's try that again.
{{{
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]]
}}}
--
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/2999#comment:1
GHC http://www.haskell.org/ghc/
The Glasgow Haskell Compiler___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
