#2562: GADTs: (.text+0xc6): undefined reference to `Main_IsEqual_con_info'
----------------------+-----------------------------------------------------
Reporter: igloo | Owner:
Type: bug | Status: new
Priority: normal | Milestone: 6.10.1
Component: Compiler | Version: 6.8.2
Severity: normal | Resolution:
Keywords: | Difficulty: Unknown
Testcase: | Architecture: Unknown
Os: Unknown |
----------------------+-----------------------------------------------------
Comment (by simonpj):
My compiler, compiled with -DDEBUG, gets an assert error.
What do you expect? You're doing
{{{
(unsafeCoerce IsEqual) undefined undefined
}}}
that is, applying a non-function as a function. Would you prefer a seg
fault? Unsafe coerce is, as it says, unsafe.
What would be the right behaviour? A type error? Presumably not, since
you have consciously suppressed that.
Simon
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2562#comment:1>
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
