29 Nov
2004
29 Nov
'04
4:30 p.m.
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