
17 Feb
2005
17 Feb
'05
2:17 p.m.
Ross Paterson
The Report (section 9.3, especially notes 1 and 2) says "A nested context must be further indented than the enclosing context", so this is illegal. GHC and Hugs have innovated here, ...
I see you are using "innovated" here in the Microsoft sense, meaning "undocumented and incompatible departure from standards". :-) Regards, Malcolm