It's a bug in GHC 5.02 and earlier; fixed in 5.03 Simon
| -----Original Message----- | From: Hal Daume III [mailto:[EMAIL PROTECTED]] | Sent: 04 April 2002 00:15 | To: Haskell Mailing List | Subject: deriving over renamed types | | | Why can't I do this: | | > import FiniteMap | > type FM = FiniteMap | > instance (Show a, Show b) => Show (FiniteMap a b) where | > show = show . fmToList | > data X = X (FM Int Int) | > deriving (Show) | | if I replace | | > type FM = FiniteMap | | with | | > type FM a b = FiniteMap a b | | it works fine. I wasn't aware there was (supposed to be) a | difference between these two declarations? Is there? | | - Hal | | | -- | Hal Daume III | | "Computer science is no more about computers | [EMAIL PROTECTED] | than astronomy is about telescopes." -Dijkstra | www.isi.edu/~hdaume | | _______________________________________________ | Haskell mailing list | [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell | _______________________________________________ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell