[GHC] #6162: defer-type-errors + unsafeCoerce

[GHC]

#6162: defer-type-errors + unsafeCoerce
----------------------------------+-----------------------------------------
    Reporter:  guest              |       Owner:                  
        Type:  feature request    |      Status:  new             
    Priority:  normal             |   Milestone:                  
   Component:  Compiler           |     Version:  7.5             
    Keywords:  defer-type-errors  |          Os:  Unknown/Multiple
Architecture:  Unknown/Multiple   |     Failure:  None/Unknown    
  Difficulty:  Unknown            |    Testcase:                  
   Blockedby:                     |    Blocking:                  
     Related:                     |  
----------------------------------+-----------------------------------------
Changes (by simonpj):

  * difficulty:  => Unknown


Comment:

 But under unfavourable conditions you get a segmentation fault!  The whole
 point of `-fdefer-type-errors` is that you get the same guarantees about
 lack of seg-faults and memory safety for type in-correct programs that you
 get for type-correct cones.  As [http://research.microsoft.com/en-
 us/um/people/simonpj/papers/ext-f/ the paper] discusses.  So I don't
 propose to change this.

 Simon

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/6162#comment:1>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler