From 747271941a9e4f698e985d6cb58efe2994e60d61 Mon Sep 17 00:00:00 2001
From: bringert <bringert@cs.chalmers.se>
Date: Mon, 5 Dec 2005 16:44:56 +0000
Subject: Added tuple expressions and patterns.

---
 src/Transfer/Syntax/Doc.tex | 16 +++++++++-------
 1 file changed, 9 insertions(+), 7 deletions(-)

(limited to 'src/Transfer/Syntax/Doc.tex')

diff --git a/src/Transfer/Syntax/Doc.tex b/src/Transfer/Syntax/Doc.tex
index c9d98bced..9005ffcd0 100644
--- a/src/Transfer/Syntax/Doc.tex
+++ b/src/Transfer/Syntax/Doc.tex
@@ -142,7 +142,9 @@ All other symbols are terminals.\\
 
 \begin{tabular}{lll}
 {\nonterminal{Pattern3}} & {\arrow}  &{\terminal{rec}} {\terminal{\{}} {\nonterminal{ListFieldPattern}} {\terminal{\}}}  \\
- & {\delimit}  &{\terminal{[}} {\nonterminal{ListPListElem}} {\terminal{]}}  \\
+ & {\delimit}  &{\terminal{[}} {\terminal{]}}  \\
+ & {\delimit}  &{\terminal{[}} {\nonterminal{ListCommaPattern}} {\terminal{]}}  \\
+ & {\delimit}  &{\terminal{(}} {\nonterminal{CommaPattern}} {\terminal{,}} {\nonterminal{ListCommaPattern}} {\terminal{)}}  \\
  & {\delimit}  &{\terminal{Type}}  \\
  & {\delimit}  &{\nonterminal{String}}  \\
  & {\delimit}  &{\nonterminal{Integer}}  \\
@@ -152,13 +154,12 @@ All other symbols are terminals.\\
 \end{tabular}\\
 
 \begin{tabular}{lll}
-{\nonterminal{PListElem}} & {\arrow}  &{\nonterminal{Pattern}}  \\
+{\nonterminal{CommaPattern}} & {\arrow}  &{\nonterminal{Pattern}}  \\
 \end{tabular}\\
 
 \begin{tabular}{lll}
-{\nonterminal{ListPListElem}} & {\arrow}  &{\emptyP} \\
- & {\delimit}  &{\nonterminal{PListElem}}  \\
- & {\delimit}  &{\nonterminal{PListElem}} {\terminal{,}} {\nonterminal{ListPListElem}}  \\
+{\nonterminal{ListCommaPattern}} & {\arrow}  &{\nonterminal{CommaPattern}}  \\
+ & {\delimit}  &{\nonterminal{CommaPattern}} {\terminal{,}} {\nonterminal{ListCommaPattern}}  \\
 \end{tabular}\\
 
 \begin{tabular}{lll}
@@ -288,7 +289,9 @@ All other symbols are terminals.\\
 \begin{tabular}{lll}
 {\nonterminal{Exp13}} & {\arrow}  &{\terminal{sig}} {\terminal{\{}} {\nonterminal{ListFieldType}} {\terminal{\}}}  \\
  & {\delimit}  &{\terminal{rec}} {\terminal{\{}} {\nonterminal{ListFieldValue}} {\terminal{\}}}  \\
+ & {\delimit}  &{\terminal{[}} {\terminal{]}}  \\
  & {\delimit}  &{\terminal{[}} {\nonterminal{ListExp}} {\terminal{]}}  \\
+ & {\delimit}  &{\terminal{(}} {\nonterminal{Exp}} {\terminal{,}} {\nonterminal{ListExp}} {\terminal{)}}  \\
  & {\delimit}  &{\nonterminal{Ident}}  \\
  & {\delimit}  &{\terminal{Type}}  \\
  & {\delimit}  &{\nonterminal{String}}  \\
@@ -323,8 +326,7 @@ All other symbols are terminals.\\
 \end{tabular}\\
 
 \begin{tabular}{lll}
-{\nonterminal{ListExp}} & {\arrow}  &{\emptyP} \\
- & {\delimit}  &{\nonterminal{Exp}}  \\
+{\nonterminal{ListExp}} & {\arrow}  &{\nonterminal{Exp}}  \\
  & {\delimit}  &{\nonterminal{Exp}} {\terminal{,}} {\nonterminal{ListExp}}  \\
 \end{tabular}\\
 
-- 
cgit v1.2.3

