Hi Simon, you spake of simple-context restriction:
> My default position is not to change. Question: who, apart from
> Ralf, has actually tripped over the lack of contexts of the
> form (C (a t1 .. tn)) in Haskell 1.4?
*raises hand and jumps up and down* Me, mememe! I provided you
with an example of this many moons ago (unless I'm going crazy(ier)).
I'm moderately agog at your default default: it _only_ restores
principal types and fixes some programs, so that's not a big
enough reason to do it? OK, that's a tad unfair. But assuming
you can show the change is at any rate sound, then at worst it's a
conservative, harmless extension, unless I'm missing something huge
and vast and horrible (never unlikely).
Slan,
Alex.
