No subject

Henry Cejtin henry@clairv.com
Mon, 18 Oct 1999 22:25:00 -0500


The relation is written
        rho, e hook v/p
In introducing it, the paper currently says
        rho e hook v/p
Note the missing comma to the left of the hook arrow.

In  figure  2,  the variable reference case has exchanged the expression (the
variable x) and the environment (rho) on the  left  of  the  hook-arrow  just
below the first horizontal bar on the left.

I don't under stand at the end of section 3, the `or' in
        in  environment rho, expression e evaluates either to value v
        or an exception packet p.
Which is it?  The rules all use v for non-exception packet values and  p  for
exception packet values (despite the claim of using [p] for packet values).