I'm not sure whether you are saying (a) or (b):
a) This is a compiler bug; even with -fno-monomorphism-restriction
the module should compile. Are you sure?
b) this is a feature request: you want a flag -fmonomorphism-restriction
to restore the monomorphism restriction even if it's been turned
off by an earlier flag?
rsvp
Simon
| -----Original Message-----
| From: [EMAIL PROTECTED]
[mailto:glasgow-haskell-users-
| [EMAIL PROTECTED] On Behalf Of Christian Maeder
| Sent: 24 November 2004 13:44
| To: GHC Users Mailing List
| Subject: -fno-monomorphism-restriction
|
| 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
_______________________________________________
Glasgow-haskell-users mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
