-fno-monomorphism-restriction

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


Christian

This isn't a bug.  See Section 4.5.5 of the Haskell Report,
	http://haskell.org/onlinereport/decls.html
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.

Simon

| -----Original Message-----
| From: glasgow-haskell-users-bounces at haskell.org
[mailto:glasgow-haskell-users-
| 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