#1995: Unsoundness in the RTTI scheme when newtypes are involved
------------------------------------------+---------------------------------
Reporter: mnislaih | Owner: mnislaih
Type: bug | Status: closed
Priority: normal | Milestone: 6.10 branch
Component: GHCi | Version: 6.8.2
Severity: major | Resolution: fixed
Keywords: | Difficulty: Project (> 1 week)
Testcase: print029, print030, print031 | Architecture: Unknown/Multiple
Os: Unknown/Multiple |
------------------------------------------+---------------------------------
Changes (by mnislaih):
* status: new => closed
* resolution: => fixed
Comment:
Fixed up to some point by the patch below.
{{{
Thu Sep 18 05:21:33 PDT 2008 pepe
* Fix a couple of issues with :print
}}}
It is still possible to make :print compute unsound types, e.g. with
recursive newtypes like:
{{{
newtype In f = In (f (In f))
}}}
I don't think this can be fixed completely without resorting to a separate
compilation mode for :print, where newtypes are replaced by strict one-
constructor datatypes.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1995#comment:6>
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
