Simon Peyton-Jones simonpj at microsoft.com
Tue Nov 30 09:38:07 EST 2004


This isn't a bug.  See Section 4.5.5 of the Haskell Report,
in the second bullet under the sub-heading "Motivation".  Your (bi, las)
binding is essentially the same as the (n,s) binding in that bullet.


| -----Original Message-----
| From: glasgow-haskell-users-bounces at haskell.org
| bounces at haskell.org] On Behalf Of Christian Maeder
| Sent: 29 November 2004 16:31
| To: Simon Peyton-Jones
| Cc: GHC Users Mailing List
| Subject: Re: -fno-monomorphism-restriction
| I've found a much shorter example (without imports) that does not
| compile. The error displayed is:
|      Ambiguous type variable `a' in the top-level constraint:
|        `ATermConvertibleSML a'
| 	arising from use of `las' at
| /home/maeder/haskell/examples/NoMonoRestr.hs:29
| (comenting out the initial "OPTIONS" line, will make it go through)
| Cheers Christian

More information about the Glasgow-haskell-users mailing list