[GHC] #1327: internal error: interpretBCO: unknown or unimplemented opcode 35464

[GHC]

#1327: internal error: interpretBCO: unknown or unimplemented opcode 35464
-------------------------------------+--------------------------------------
  Reporter:  gleb.alexeev at gmail.com  |          Owner:         
      Type:  bug                     |         Status:  new    
  Priority:  normal                  |      Milestone:         
 Component:  Compiler                |        Version:  6.6    
  Severity:  normal                  |       Keywords:         
Difficulty:  Unknown                 |             Os:  Unknown
  Testcase:                          |   Architecture:  Unknown
-------------------------------------+--------------------------------------
Steps to reproduce:

 1. Load the following module into ghci:

 {{{
 module Bug where

 import Test.QuickCheck

 data Color = Red | Yellow | Blue deriving (Eq, Show)

 complement :: Color -> Color -> Color
 complement c1 c2 = f (c1,c2)
     where f (Red, Yellow)  = Blue
           f (Red, Blue)    = Yellow
           f (Yellow, Blue) = Red
           f (x,y) = f (y,x)

 prop_complement c1 c2 = c1/=c2 ==> c3/=c1 && c3/=c2 where c3=complement c1
 c2

 instance Arbitrary Color where
     arbitrary = oneof $ map return [Red, Yellow, Blue]
     coarbitrary = undefined

 }}}

 2. Evaluate 'quickCheck prop_complement'

 ghci crashes with the following output:

 {{{
 *Bug> quickCheck prop_complement
 Loading package QuickCheck-1.0 ... linking ... done.
 <interactive>: internal error: interpretBCO: unknown or unimplemented
 opcode 35464
     (GHC version 6.6 for i386_unknown_mingw32)
     Please report this as a GHC bug:
 http://www.haskell.org/ghc/reportabug
 }}}

 The problem disappears if complement function is invoked manually before
 calling quickCheck.

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1327>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
-------------- next part --------------
_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs at haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs