[GHC] #8037: GHC panic when compiling unsafeCoerce

GHC ghc-devs at haskell.org
Sun Sep 22 05:03:11 CEST 2013


#8037: GHC panic when compiling unsafeCoerce
---------------------------------+------------------------------------
        Reporter:  ghc@…         |            Owner:
            Type:  bug           |           Status:  new
        Priority:  normal        |        Milestone:
       Component:  Compiler      |          Version:  7.6.1
      Resolution:                |         Keywords:
Operating System:  MacOS X       |     Architecture:  Unknown/Multiple
 Type of failure:  None/Unknown  |       Difficulty:  Unknown
       Test Case:                |       Blocked By:
        Blocking:                |  Related Tickets:
---------------------------------+------------------------------------

Comment (by simonpj):

 Great test case.

 You'll see that it unsafely converts a data value with three fields to one
 with four.  I grant that this shouldn't make GHC fail, but it's very
 likely to lead to a runtime crash. If this is what OpenGL is really doing,
 I am highly dubious!

 Simon

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



More information about the ghc-tickets mailing list