From 747271941a9e4f698e985d6cb58efe2994e60d61 Mon Sep 17 00:00:00 2001 From: bringert 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