diff options
| author | bringert <bringert@cs.chalmers.se> | 2005-12-06 15:57:43 +0000 |
|---|---|---|
| committer | bringert <bringert@cs.chalmers.se> | 2005-12-06 15:57:43 +0000 |
| commit | 5be879dd543d61f871f76586251fe0aad91c0bcc (patch) | |
| tree | d2bd110cbbfaeaf7c85f0ae7e1aeb7fdd93824fe /src/Transfer/Syntax/Doc.tex | |
| parent | 54b8d70443f2b41691339376677f50c7e5f62fca (diff) | |
Transfer: Changed BNFC's layout syntax resolver to add a semicolon at EOF if using top-level layout sytax. Changed transfer syntax to use this to force semicolon after imports when pretty printing transfer. transfer grammar printer now produces Transfer syntax, not core. It also imports prelude and includes Eq and Compos instances.
Diffstat (limited to 'src/Transfer/Syntax/Doc.tex')
| -rw-r--r-- | src/Transfer/Syntax/Doc.tex | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/Transfer/Syntax/Doc.tex b/src/Transfer/Syntax/Doc.tex index 9005ffcd0..46716f164 100644 --- a/src/Transfer/Syntax/Doc.tex +++ b/src/Transfer/Syntax/Doc.tex @@ -93,7 +93,6 @@ All other symbols are terminals.\\ \begin{tabular}{lll} {\nonterminal{ListImport}} & {\arrow} &{\emptyP} \\ - & {\delimit} &{\nonterminal{Import}} \\ & {\delimit} &{\nonterminal{Import}} {\terminal{;}} {\nonterminal{ListImport}} \\ \end{tabular}\\ @@ -106,7 +105,6 @@ All other symbols are terminals.\\ \begin{tabular}{lll} {\nonterminal{ListDecl}} & {\arrow} &{\emptyP} \\ - & {\delimit} &{\nonterminal{Decl}} \\ & {\delimit} &{\nonterminal{Decl}} {\terminal{;}} {\nonterminal{ListDecl}} \\ \end{tabular}\\ |