Simon's latest report changes the relationship between monomorphism
and defaulting. This issue was never discussed at length by the
committee so I think I'll bring the discussion out here.
John objected quite strongly to changing the way top-level monomorphism
is resolved. I count the
| Pro a change
| Mark Jones mildly
| Olaf Chitil?mildly [I can't locate his message]
|
| My rule of thumb is that the status quo wins if there's any
| doubt, and there is, so I'll reverse my proposal and leave
| things unchanged.
Actually, I'm neither pro or
Simon's latest report changes the relationship between monomorphism
and defaulting. This issue was never discussed at length by the
committee so I think I'll bring the discussion out here.
...
Please take the time look into this issue and voice your opinions.
Let me second John's
I can't speak for Hugs 1.3c, but Hugs 1.4 and prior systems use the
proposed monomorphism rule, not the Haskell 1.4 rule.
John