3 Dec
2004
3 Dec
'04
5:47 a.m.
| > 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've implemented this flag in the HEAD, as you requested. It'll be in 6.4 Simon