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: | | 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] | The type of this binder doesn't match the type of its RHS: x | Binder's type: Bug.Foo | Rhs type: Bug.Bar | *** Offending Program *** | Rec { | unBar :: Bug.Bar -> Bug.Foo | unBar = \ ds_dch :: Bug.Bar -> | let { | x :: Bug.Foo | x = ds_dch | } in x | Bug.unBar :: Bug.Bar -> Bug.Foo | Bug.unBar = unBar | end Rec } | | *** End of Offense *** | _______________________________________________ | Glasgow-haskell-bugs mailing list | [EMAIL PROTECTED] | http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs _______________________________________________ Glasgow-haskell-bugs mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
