Hi,
I've a file ATC/Sml_cats.hs that does not compile (see below) with the flag -fno-monomorphism-restriction (ghc 6.2.2), whereas it compiles fine without that option. Since I want to use -fno-monomorphism-restriction for other files (from programatica) I've a problem, because there is no option -fmonomorphism-restriction that I could place inside of ATC/Sml_cats.hs.
If someone wants to reproduce the error, do the following:
1) check out HetCATS repository with:
cvs -d pserver:[EMAIL PROTECTED]:/repository co HetCATS
2) comment out variable HC_PACKAGE in the Makefile (to avoid dependency from uni)
3) add the flag -fno-monomorphism-restriction to the variable HC_FLAGS
4) call (GNU) make
Cheers Christian
Compiling ATC.Sml_cats ( ./ATC/Sml_cats.hs, ./ATC/Sml_cats.o )
./ATC/Sml_cats.hs:23:
Ambiguous type variable `a' in the top-level constraint:
`ATermConvertibleSML a'
arising from use of `ad'' at ./ATC/Sml_cats.hs:2068./ATC/Sml_cats.hs:23:
Ambiguous type variable `a1' in the top-level constraint:
`ATermConvertibleSML a1'
arising from use of `aa'' at ./ATC/Sml_cats.hs:1501./ATC/Sml_cats.hs:23:
Ambiguous type variable `a2' in the top-level constraint:
`ATermConvertibleSML a2'
arising from use of `aa'' at ./ATC/Sml_cats.hs:1479./ATC/Sml_cats.hs:23:
Ambiguous type variable `a3' in the top-level constraint:
`ATermConvertibleSML a3'
arising from use of `las' at ./ATC/Sml_cats.hs:421
_______________________________________________
Glasgow-haskell-users mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
