internal error: interpretBCO: unknown or unimplemented opcode 35464

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

1. 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.

Trac metadata

Trac field	Value
Version	6.6
Type	Bug
TypeOfFailure	OtherFailure
Priority	normal
Resolution	Unresolved
Component	Compiler
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system	Unknown
Architecture	Unknown