#959: Debugging info(?) leaks out: "Urk! Inventing strangely-kinded void TyCon"
----------------------------------------+-----------------------------------
Reporter: igloo | Owner:
Type: bug | Status: new
Priority: normal | Milestone: _|_
Component: Compiler (Type checker) | Version: 6.6
Severity: minor | Resolution:
Keywords: | Difficulty: Unknown
Testcase: tcfail188 | Os: Unknown/Multiple
Architecture: Unknown/Multiple |
----------------------------------------+-----------------------------------
Comment (by ganesh):
I have encountered this in darcs when trying to make our phantom types be
of some complicated (and arbitrarily chosen) kind to minimise the risk of
them being instantiated with a real type (which would then lead to a risk
of unsafeCoerce happening on those real types due to other aspects of the
way we use phantom types).
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/959#comment:10>
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
