diff options
| author | bringert <bringert@cs.chalmers.se> | 2005-11-28 21:45:58 +0000 |
|---|---|---|
| committer | bringert <bringert@cs.chalmers.se> | 2005-11-28 21:45:58 +0000 |
| commit | 5d7bcac1e5c59c83c81ee51be416fbd907989507 (patch) | |
| tree | 7a1cb976ca9433f6f13d6d1edc003cf89955a963 /src/Transfer/Syntax/Doc.tex | |
| parent | 02c23401a7a3e54d48084fc2796a485de36383f1 (diff) | |
Changed precedence of projection to be higher than application.
Diffstat (limited to 'src/Transfer/Syntax/Doc.tex')
| -rw-r--r-- | src/Transfer/Syntax/Doc.tex | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/Transfer/Syntax/Doc.tex b/src/Transfer/Syntax/Doc.tex index 613753b92..d49729f19 100644 --- a/src/Transfer/Syntax/Doc.tex +++ b/src/Transfer/Syntax/Doc.tex @@ -213,17 +213,17 @@ All other symbols are terminals.\\ \end{tabular}\\ \begin{tabular}{lll} -{\nonterminal{Exp8}} & {\arrow} &{\nonterminal{Exp8}} {\terminal{.}} {\nonterminal{Ident}} \\ +{\nonterminal{Exp8}} & {\arrow} &{\terminal{{$-$}}} {\nonterminal{Exp8}} \\ & {\delimit} &{\nonterminal{Exp9}} \\ \end{tabular}\\ \begin{tabular}{lll} -{\nonterminal{Exp9}} & {\arrow} &{\terminal{{$-$}}} {\nonterminal{Exp9}} \\ +{\nonterminal{Exp9}} & {\arrow} &{\nonterminal{Exp9}} {\nonterminal{Exp10}} \\ & {\delimit} &{\nonterminal{Exp10}} \\ \end{tabular}\\ \begin{tabular}{lll} -{\nonterminal{Exp10}} & {\arrow} &{\nonterminal{Exp10}} {\nonterminal{Exp11}} \\ +{\nonterminal{Exp10}} & {\arrow} &{\nonterminal{Exp10}} {\terminal{.}} {\nonterminal{Ident}} \\ & {\delimit} &{\nonterminal{Exp11}} \\ \end{tabular}\\ |