diff options
| author | bringert <bringert@cs.chalmers.se> | 2005-12-02 18:33:08 +0000 |
|---|---|---|
| committer | bringert <bringert@cs.chalmers.se> | 2005-12-02 18:33:08 +0000 |
| commit | 983aef132b0695af7e1b16d77ad43180388eea71 (patch) | |
| tree | aa95e673e10ccc32e3e0fdf1556659c0c041aa53 /src/Transfer/Core/Doc.tex | |
| parent | dea5158cbf1c11d45f2ed91d9975fbc77245e652 (diff) | |
Transfer added guards and Eq derivation.
Diffstat (limited to 'src/Transfer/Core/Doc.tex')
| -rw-r--r-- | src/Transfer/Core/Doc.tex | 24 |
1 files changed, 12 insertions, 12 deletions
diff --git a/src/Transfer/Core/Doc.tex b/src/Transfer/Core/Doc.tex index c491e86ed..7fdd25137 100644 --- a/src/Transfer/Core/Doc.tex +++ b/src/Transfer/Core/Doc.tex @@ -64,8 +64,8 @@ The symbols used in Core are the following: \\ \begin{tabular}{lll} {\symb{;}} &{\symb{:}} &{\symb{\{}} \\ {\symb{\}}} &{\symb{{$=$}}} &{\symb{(}} \\ -{\symb{)}} &{\symb{\_}} &{\symb{$\backslash$}} \\ -{\symb{{$-$}{$>$}}} &{\symb{.}} & \\ +{\symb{)}} &{\symb{\_}} &{\symb{{$|$}}} \\ +{\symb{{$-$}{$>$}}} &{\symb{$\backslash$}} &{\symb{.}} \\ \end{tabular}\\ \subsection*{Comments} @@ -149,6 +149,16 @@ All other symbols are terminals.\\ \end{tabular}\\ \begin{tabular}{lll} +{\nonterminal{Case}} & {\arrow} &{\nonterminal{Pattern}} {\terminal{{$|$}}} {\nonterminal{Exp}} {\terminal{{$-$}{$>$}}} {\nonterminal{Exp}} \\ +\end{tabular}\\ + +\begin{tabular}{lll} +{\nonterminal{ListCase}} & {\arrow} &{\emptyP} \\ + & {\delimit} &{\nonterminal{Case}} \\ + & {\delimit} &{\nonterminal{Case}} {\terminal{;}} {\nonterminal{ListCase}} \\ +\end{tabular}\\ + +\begin{tabular}{lll} {\nonterminal{Exp2}} & {\arrow} &{\terminal{$\backslash$}} {\nonterminal{PatternVariable}} {\terminal{{$-$}{$>$}}} {\nonterminal{Exp}} \\ & {\delimit} &{\terminal{(}} {\nonterminal{PatternVariable}} {\terminal{:}} {\nonterminal{Exp}} {\terminal{)}} {\terminal{{$-$}{$>$}}} {\nonterminal{Exp}} \\ & {\delimit} &{\nonterminal{Exp3}} \\ @@ -200,16 +210,6 @@ All other symbols are terminals.\\ {\nonterminal{Exp1}} & {\arrow} &{\nonterminal{Exp2}} \\ \end{tabular}\\ -\begin{tabular}{lll} -{\nonterminal{Case}} & {\arrow} &{\nonterminal{Pattern}} {\terminal{{$-$}{$>$}}} {\nonterminal{Exp}} \\ -\end{tabular}\\ - -\begin{tabular}{lll} -{\nonterminal{ListCase}} & {\arrow} &{\emptyP} \\ - & {\delimit} &{\nonterminal{Case}} \\ - & {\delimit} &{\nonterminal{Case}} {\terminal{;}} {\nonterminal{ListCase}} \\ -\end{tabular}\\ - \end{document} |