16 Nov
2014
16 Nov
'14
5:57 p.m.
On 16 Nov 2014, at 14:09, Simon Peyton Jones
Thanks. Can you make sure that you update the wiki page to reflect what you say here? Email is transitory; the wiki page gives the *specification* of the feature, and says unambiguously what you intend. Misunderstandings expressed in email are simply tell you how to improve the wiki page!
I had already updated the wiki with the relevant notes before replying, but apparently I forgot to mention this! Cheers, Merijn