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).