Christian Maeder maeder at tzi.de
Mon Nov 29 11:30:46 EST 2004

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 

(comenting out the initial "OPTIONS" line, will make it go through)

Cheers Christian
-------------- next part --------------
A non-text attachment was scrubbed...
Name: NoMonoRestr.hs
Type: text/x-haskell
Size: 875 bytes
Desc: not available
Url : http://www.haskell.org//pipermail/glasgow-haskell-users/attachments/20041129/a0cb7261/NoMonoRestr.bin

More information about the Glasgow-haskell-users mailing list