From 9a2dea46d103d180c3b0e0780df4f10a8a16f386 Mon Sep 17 00:00:00 2001 From: bringert Date: Tue, 29 Nov 2005 18:16:33 +0000 Subject: Use rec and sig for records. --- 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 ba8d22b1f..b8940a398 100644 --- a/src/Transfer/Syntax/Doc.tex +++ b/src/Transfer/Syntax/Doc.tex @@ -48,7 +48,8 @@ The reserved words used in Syntax are the following: \\ {\reserved{Type}} &{\reserved{case}} &{\reserved{data}} \\ {\reserved{derive}} &{\reserved{else}} &{\reserved{if}} \\ {\reserved{import}} &{\reserved{in}} &{\reserved{let}} \\ -{\reserved{of}} &{\reserved{then}} &{\reserved{where}} \\ +{\reserved{of}} &{\reserved{rec}} &{\reserved{sig}} \\ +{\reserved{then}} &{\reserved{where}} & \\ \end{tabular}\\ The symbols used in Syntax are the following: \\ @@ -118,7 +119,7 @@ All other symbols are terminals.\\ \begin{tabular}{lll} {\nonterminal{Pattern1}} & {\arrow} &{\terminal{(}} {\nonterminal{Ident}} {\nonterminal{ListPattern}} {\terminal{)}} \\ - & {\delimit} &{\terminal{\{}} {\nonterminal{ListFieldPattern}} {\terminal{\}}} \\ + & {\delimit} &{\terminal{rec}} {\terminal{\{}} {\nonterminal{ListFieldPattern}} {\terminal{\}}} \\ & {\delimit} &{\terminal{Type}} \\ & {\delimit} &{\nonterminal{String}} \\ & {\delimit} &{\nonterminal{Integer}} \\ @@ -229,9 +230,8 @@ All other symbols are terminals.\\ \end{tabular}\\ \begin{tabular}{lll} -{\nonterminal{Exp11}} & {\arrow} &{\terminal{\{}} {\terminal{\}}} \\ - & {\delimit} &{\terminal{\{}} {\nonterminal{ListFieldType}} {\terminal{\}}} \\ - & {\delimit} &{\terminal{\{}} {\nonterminal{ListFieldValue}} {\terminal{\}}} \\ +{\nonterminal{Exp11}} & {\arrow} &{\terminal{sig}} {\terminal{\{}} {\nonterminal{ListFieldType}} {\terminal{\}}} \\ + & {\delimit} &{\terminal{rec}} {\terminal{\{}} {\nonterminal{ListFieldValue}} {\terminal{\}}} \\ & {\delimit} &{\nonterminal{Ident}} \\ & {\delimit} &{\terminal{Type}} \\ & {\delimit} &{\nonterminal{String}} \\ @@ -245,7 +245,8 @@ All other symbols are terminals.\\ \end{tabular}\\ \begin{tabular}{lll} -{\nonterminal{ListFieldType}} & {\arrow} &{\nonterminal{FieldType}} \\ +{\nonterminal{ListFieldType}} & {\arrow} &{\emptyP} \\ + & {\delimit} &{\nonterminal{FieldType}} \\ & {\delimit} &{\nonterminal{FieldType}} {\terminal{;}} {\nonterminal{ListFieldType}} \\ \end{tabular}\\ @@ -254,7 +255,8 @@ All other symbols are terminals.\\ \end{tabular}\\ \begin{tabular}{lll} -{\nonterminal{ListFieldValue}} & {\arrow} &{\nonterminal{FieldValue}} \\ +{\nonterminal{ListFieldValue}} & {\arrow} &{\emptyP} \\ + & {\delimit} &{\nonterminal{FieldValue}} \\ & {\delimit} &{\nonterminal{FieldValue}} {\terminal{;}} {\nonterminal{ListFieldValue}} \\ \end{tabular}\\ -- cgit v1.2.3