[GHC] #7453: unsafe coerce without extensions

[GHC]

#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