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: [EMAIL PROTECTED]
[mailto:glasgow-haskell-users-
| [EMAIL PROTECTED] 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
_______________________________________________
Glasgow-haskell-users mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
