Changeset 37e445e in report


Ignore:
Timestamp:
Jan 13, 2007 12:32:28 AM (11 years ago)
Author:
Iavor S. Diatchki <iavor.diatchki@…>
Branches:
h2010, master
Children:
da2accf
Parents:
6a0f5a2
Message:

moved rules for guards in a separate figure because the old figure didn't fit on a page

File:
1 edited

Legend:

Unmodified
Added
Removed
  • report/exps.verb

    r6a0f5a2 r37e445e  
    15251525constructs to @case@ expressions.  The semantics of
    15261526@case@ expressions themselves are in turn given as a series of
    1527 identities, in Figures~\ref{simple-case-expr-1}--\ref{simple-case-expr-2}.
     1527identities, in Figures~\ref{simple-case-expr-1}--\ref{simple-case-expr-3}.
    15281528Any implementation should behave so that these identities hold; it is
    15291529not expected that it will use them directly, since that
     
    15681568\end{tabular}
    15691569}
    1570 %**<div align=center> <h4>Figure 3</h4> </div>
     1570%**<div align=center> <h4>Figure 3.1</h4> </div>
    15711571\ecaption{Semantics of Case Expressions, Part 1}
    15721572\label{simple-case-expr-1}
     
    16301630(s)&@case @$v$@ of { @$x$@+@$k$@ -> @$e$@; _ -> @$e'$@ }@\\
    16311631&$=$@ if @$v$@ >= @$k$@ then (\@$x$@ -> @$e$@) (@$v$@-@$k$@) else @$e'$\\
    1632 &{\rm where $k$ is a numeric literal}\\[4pt]
    1633 
     1632&{\rm where $k$ is a numeric literal}
     1633\end{tabular}
     1634}
     1635%**<div align=center> <h4>Figure 3.2</h4> </div>
     1636\ecaption{Semantics of Case Expressions, Part 2}
     1637\label{simple-case-expr-2}
     1638\end{figure}
     1639
     1640\begin{figure}[tb]
     1641\outlinec{\small
     1642\begin{tabular}{@@{}cl}
    16341643(t)&@case () of { () | @$g_1$@, @$\ldots$@, @$g_n$@ -> @$e$@; _ -> @$e'$@ }@\\
    16351644   &$=$@ case @$e'$@ of { @$y$@ ->@\\
     
    16511660\end{tabular}
    16521661}
    1653 %**<div align=center> <h4>Figure 4</h4> </div>
    1654 \ecaption{Semantics of Case Expressions, Part 2}
    1655 \label{simple-case-expr-2}
     1662%**<div align=center> <h4>Figure 3.3</h4> </div>
     1663\ecaption{Semantics of Case Expressions, Part 3}
     1664\label{simple-case-expr-3}
    16561665\end{figure}
    16571666
    1658 In Figures~\ref{simple-case-expr-1}--\ref{simple-case-expr-2}:
     1667
     1668
     1669
     1670In Figures~\ref{simple-case-expr-1}--\ref{simple-case-expr-3}:
    16591671"e", "e'" and "e_i" are expressions;
    16601672"g_i" and "gs_i" are guards and sequences of guards respecively;
Note: See TracChangeset for help on using the changeset viewer.