Re: Uncle! New alternate draft [comments on some of section 5]

/ ht@inf.ed.ac.uk (Henry S. Thompson) was heard to say:
| Norman Walsh writes:
|
|> / ht@inf.ed.ac.uk (Henry S. Thompson) was heard to say:
|> | Norman Walsh writes:
|> |
|> |> | 5.1.3    "It is a static error (err:XS0023) for a p:pipe to appear in
|> |> |           a default binding."  Why is this necessary?  The tableau for
|> |> |           input declarations doesn't include p:pipe, so XS0044 does
|> |> |           the necessary, doesn't it?
|> |>
|> |> 5.1.3 is in the wrong place; it should be at the end of 5.1.1.
|> |
|> | It still doesn't need to be said at all.  The tableau for input port
|> | declaration does not have a p:pipe child.
|>
|> The one in 5.1.1 does!
|
| Not the one I'm looking at!! (:-) [1]:

Right you are.

                                        Be seeing you,
                                          norm

-- 
Norman Walsh <ndw@nwalsh.com> | Man's great misfortune is that he has
http://nwalsh.com/            | no organ, no kind of eyelid or brake,
                              | to mask or block a thought, or all
                              | thought, when he wants to.--Paul Valéry