#7453: unsafe coerce without extensions
------------------------------------------+---------------------------------
Reporter: guest | Owner:
Type: bug | Status: closed
Priority: normal | Milestone:
Component: Compiler (Type checker) | Version: 7.6.1
Resolution: wontfix | Keywords:
Os: Unknown/Multiple | Architecture: Unknown/Multiple
Failure: GHC accepts invalid program | Difficulty: Unknown
Testcase: T7453 | Blockedby:
Blocking: | Related:
------------------------------------------+---------------------------------
Changes (by simonpj):
* status: new => closed
* resolution: => wontfix
Comment:
Well this is embarrassing. It looks as if there's been a missing (or
missed) skolem-escape check in GHC for a long time. I re-engineered and
simplified the bit that deals with inferring types for bindings, after
7.6, so I expect that's what has fixed it.
I'm not very keen on peering into the bowels of 7.6 to find out what is
going on, though; it's clearly not that easy to trip over if it's been
around for so long without anyone noticing. If you are worried about
security, use `-dcore-lint`, which picks up the bug right away.
So for now I'll mark it as "wont-fix" meaning "fixed in HEAD, wont-fix in
7.6". Is that acceptable?
Simon
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7453#comment:11>
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
