#7453: unsafe coerce without extensions
----------------------------------------+-----------------------------------
Reporter:  guest                        |          Owner:                       
  
    Type:  bug                          |         Status:  new                  
  
Priority:  normal                       |      Component:  Compiler (Type 
checker)
 Version:  7.6.1                        |       Keywords:                       
  
      Os:  Unknown/Multiple             |   Architecture:  Unknown/Multiple     
  
 Failure:  GHC accepts invalid program  |      Blockedby:                       
  
Blocking:                               |        Related:                       
  
----------------------------------------+-----------------------------------

Comment(by pumpkin):

 You don't even need to use the aux (the where block must be there, and do
 that, though):

 {{{
 let unsafeCoerce v = z () where z :: () -> v; z = const v where _ = const
 v
 }}}

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7453#comment:4>
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

Reply via email to