internal error: interpretBCO: unknown or unimplemented opcode 35464
Steps to reproduce:
- 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
- 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 |