#3089: Sanity checker false positive (presumably)
-----------------------------+----------------------------------------------
Reporter: guest | Owner:
Type: bug | Status: new
Priority: normal | Component: Compiler
Version: 6.10.1 | Severity: normal
Keywords: | Testcase:
Os: Unknown/Multiple | Architecture: Unknown/Multiple
-----------------------------+----------------------------------------------
When trying to debug an unrelated problem, I found a Sanity Checker
failure. Initially I though this was my bug, but it remained after I left
the bug. I stripped the program right down to a minimal example which
still causes sanity check failures.
{{{
import Graphics.Rendering.OpenGL
import Graphics.UI.GLUT
main = do
(progName,args) <- getArgsAndInitialize
createWindow progName
displayCallback $= display
display
display = color $ Color4 1 0 0 (1::GLfloat)
{-
On my machine this reliably trips the sanity checker:
jules$ ghc -debug -fforce-recomp --make sanityminimal.hs &&
./sanityminimal +RTS -DS
[1 of 1] Compiling Main ( sanityminimal.hs, sanityminimal.o )
Linking sanityminimal ...
sanityminimal: internal error: ASSERTION FAILED: file Sanity.c, line 241
(GHC version 6.8.3 for i386_apple_darwin)
Please report this as a GHC bug:
http://www.haskell.org/ghc/reportabug
Abort trap
-}
}}}
I am running 6.8.3 here but I got someone to test 6.10.1 with the same
result.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/3089>
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
