"Simon Peyton-Jones" <simonpj@microsoft.com> wrote,
* I have many small wording suggestions, but I'll just perform them directly.
Ok, fine.
* I found 4.1 pretty confusing, and I'm an unusually well-informed reader. a) It was some while before I realised that the first entity production is only for foreign *import*. The foreign *export* entity production and its accompanying text is embedded in the middle of a vast swathe of foreign import stuff (both before and after!). Let's have sub-sections!
I agree, the structure of this material is not very clear yet. I have added subsubsections now and a brief intro.
b) Presumably an & import places constraints on the type? Ah! That's what you mean by "static address", and later "imported address". Easy to be confused here.
Strong suggestion: give one example of each form in the description-list.
Ok. (Haven't done it yet, but added a todo.) Cheers, Manuel