Thank you. A palpable bug. Fixed. Simon | -----Original Message----- | From: glasgow-haskell-users-admin@haskell.org [mailto:glasgow-haskell-users- | admin@haskell.org] On Behalf Of Ketil Z. Malde | Sent: 07 April 2003 13:33 | To: glasgow-haskell-users@haskell.org | | | Hi, | | When compiling with -funbox-strict-fields, the supplied code doesn't | seem to compile, requiring 'Ord Foo' to derive 'Ord Zot', even if 'Ord | Bar' is explicitly declared. Without the flag, it works as expected. | | Is this intentional? I'll get by by dropping -funbox, or explicitly | declaring the instance, so it's no big deal -- just slightly | surprising. | | --T1.hs-- | | > module T1 where | > | > data Foo = Foo Int String | > data Bar = Bar Int Foo | > | > instance Ord Bar where | > compare (Bar i _) (Bar j _) = compare i j | > | > instance Eq Bar where | > (Bar i _) == (Bar j _) = i == j | | --T2.hs-- | | > module Main where | > | > import T1 | > | > data Zot = Zot !Bar !String deriving (Ord,Eq) | > | > main = putStrLn "Success" | | -kzm | -- | If I haven't seen further, it is by standing in the footprints of giants | _______________________________________________ | Glasgow-haskell-users mailing list | Glasgow-haskell-users@haskell.org | http://www.haskell.org/mailman/listinfo/glasgow-haskell-users