Re: -fno-monomorphism-restriction

Simon Peyton-Jones wrote:

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?

I'm saying a), but in case it's not a bug (for some unforeseen reason) I would ask for b) (or another work around). Christian