Now fixed properly in the head (and 6.2)
| -Original Message-
| From: [EMAIL PROTECTED]
[mailto:glasgow-haskell-bugs-
| [EMAIL PROTECTED] On Behalf Of Ross Paterson
| Sent: 15 March 2004 17:27
| To: [EMAIL PROTECTED]
| Subject: newtype of newtype
|
| The following little module
The following little module:
module Bug where
newtype Foo = Foo [Foo]
newtype Bar = Bar Foo
unBar :: Bar - Foo
unBar (Bar x) = x
fails core-lint in both 6.2 and the HEAD:
*** Core Lint Errors: in result of Desugar ***
Bug.hs:7:
[RHS of x :: Bug.Foo