Changeset 37e445e in report
 Timestamp:
 Jan 13, 2007 12:32:28 AM (11 years ago)
 Branches:
 h2010, master
 Children:
 da2accf
 Parents:
 6a0f5a2
 File:

 1 edited
Legend:
 Unmodified
 Added
 Removed

report/exps.verb
r6a0f5a2 r37e445e 1525 1525 constructs to @case@ expressions. The semantics of 1526 1526 @case@ expressions themselves are in turn given as a series of 1527 identities, in Figures~\ref{simplecaseexpr1}\ref{simplecaseexpr 2}.1527 identities, in Figures~\ref{simplecaseexpr1}\ref{simplecaseexpr3}. 1528 1528 Any implementation should behave so that these identities hold; it is 1529 1529 not expected that it will use them directly, since that … … 1568 1568 \end{tabular} 1569 1569 } 1570 %**<div align=center> <h4>Figure 3 </h4> </div>1570 %**<div align=center> <h4>Figure 3.1</h4> </div> 1571 1571 \ecaption{Semantics of Case Expressions, Part 1} 1572 1572 \label{simplecaseexpr1} … … 1630 1630 (s)&@case @$v$@ of { @$x$@+@$k$@ > @$e$@; _ > @$e'$@ }@\\ 1631 1631 &$=$@ 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{simplecaseexpr2} 1638 \end{figure} 1639 1640 \begin{figure}[tb] 1641 \outlinec{\small 1642 \begin{tabular}{@@{}cl} 1634 1643 (t)&@case () of { ()  @$g_1$@, @$\ldots$@, @$g_n$@ > @$e$@; _ > @$e'$@ }@\\ 1635 1644 &$=$@ case @$e'$@ of { @$y$@ >@\\ … … 1651 1660 \end{tabular} 1652 1661 } 1653 %**<div align=center> <h4>Figure 4</h4> </div>1654 \ecaption{Semantics of Case Expressions, Part 2}1655 \label{simplecaseexpr 2}1662 %**<div align=center> <h4>Figure 3.3</h4> </div> 1663 \ecaption{Semantics of Case Expressions, Part 3} 1664 \label{simplecaseexpr3} 1656 1665 \end{figure} 1657 1666 1658 In Figures~\ref{simplecaseexpr1}\ref{simplecaseexpr2}: 1667 1668 1669 1670 In Figures~\ref{simplecaseexpr1}\ref{simplecaseexpr3}: 1659 1671 "e", "e'" and "e_i" are expressions; 1660 1672 "g_i" and "gs_i" are guards and sequences of guards respecively;
Note: See TracChangeset
for help on using the changeset viewer.