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

Reply via email to