No subject

[Henry Cejtin]

In  figure  1:  The  `data'  should be `dataum'.  Also it is confusing if you
don't show the separator on BOTH sides of the general  case.   The  ones  I'm
thinking of are:

    datum ::= datatype t = ... | C of tau | ...
        note the | on both sides of an arm.
    | case y of ... | C z => e | ...
        note the | on both sides of an arm.
    (..., y, ...)
        note the , on both sides of y.
    fun ::= fun f (..., x, ...) = e
        note the , on both sides of x.
    | f (..., y, ...)
        note the , on both sides of y.
    | case y of ... | C z => e | ...
        note the | on both sides of an arm.
    | f (..., y, ...)
        note the , on both sides of y.

Handle doesn't dispatch on the exception even in the source language?