Changeset 6a0f5a2 in report


Ignore:
Timestamp:
Jan 13, 2007 12:21:46 AM (11 years ago)
Author:
Iavor S. Diatchki <iavor.diatchki@…>
Branches:
h2010, master
Children:
37e445e
Parents:
aaf9a1d
Message:

fixed rule (g) of pattern semantics to avoid duplicating the evaluation of e'

File:
1 edited

Legend:

Unmodified
Added
Removed
  • report/exps.verb

    raaf9a1d r6a0f5a2  
    15771577\begin{tabular}{@@{}cl}
    15781578(g)&@case @$v$@ of { @$K\ p_1 \ldots p_n$@ -> @$e$@; _ -> @$e'$@ }@\\
    1579 &$=$@ case @$v$@ of {@\\
     1579&$=$@ case @$e'$@ of { @$y$@ ->@\\
     1580&@ case @$v$@ of {@\\
    15801581&@     @$K\ x_1 \ldots x_n$@ -> case @$x_1$@ of {@\\
    1581 &@                    @$p_1$@ -> @$\ldots$@ case @$x_n$@ of { @$p_n$@ -> @$e$@ ; _ -> @$e'$@ } @$\ldots$\\
    1582 &@                    _  -> @$e'$@ }@\\
    1583 &@     _ -> @$e'$@ }@\\[2pt]
     1582&@                    @$p_1$@ -> @$\ldots$@ case @$x_n$@ of { @$p_n$@ -> @$e$@ ; _ -> @$y$@ } @$\ldots$\\
     1583&@                    _  -> @$y$@ }@\\
     1584&@     _ -> @$y$@ }}@\\[2pt]
    15841585&{\rm at least one of $p_1, \ldots, p_n$ is not a variable; $x_1, \ldots, x_n$ are new variables}\\[4pt]
    15851586%\\
Note: See TracChangeset for help on using the changeset viewer.