X-Git-Url: https://ruin.nu/git/?p=proglang.git;a=blobdiff_plain;f=Docsyntax.tex;h=09e48987172d66864ffffae73e3e784dc9506f2b;hp=89c1a0f72a0fd971c506d65c77b011cc581914a4;hb=9d0e3c89b286456549c68a816d0729f193498f6a;hpb=de34a0eeb75a54ce9ae058797327cd5ddc853ecc diff --git a/Docsyntax.tex b/Docsyntax.tex index 89c1a0f..09e4898 100644 --- a/Docsyntax.tex +++ b/Docsyntax.tex @@ -52,9 +52,10 @@ The symbols used in syntax are the following: \\ {\symb{{$=$}}} &{\symb{;}} &{\symb{\{}} \\ {\symb{\}}} &{\symb{(}} &{\symb{)}} \\ {\symb{{$+$}{$+$}}} &{\symb{{$-$}{$-$}}} &{\symb{{$-$}}} \\ -{\symb{{$<$}}} &{\symb{{$<$}{$=$}}} &{\symb{{$>$}}} \\ -{\symb{{$>$}{$=$}}} &{\symb{{$=$}{$=$}}} &{\symb{!{$=$}}} \\ -{\symb{{$+$}}} &{\symb{*}} &{\symb{/}} \\ +{\symb{!}} &{\symb{{$<$}}} &{\symb{{$<$}{$=$}}} \\ +{\symb{{$>$}}} &{\symb{{$>$}{$=$}}} &{\symb{{$=$}{$=$}}} \\ +{\symb{!{$=$}}} &{\symb{{$+$}}} &{\symb{*}} \\ +{\symb{/}} & & \\ \end{tabular}\\ \subsection*{Comments} @@ -104,6 +105,7 @@ All other symbols are terminals.\\ & {\delimit} &{\nonterminal{Ident}} \\ & {\delimit} &{\nonterminal{Integer}} \\ & {\delimit} &{\terminal{{$-$}}} {\nonterminal{Exp3}} \\ + & {\delimit} &{\terminal{!}} {\nonterminal{Exp3}} \\ & {\delimit} &{\nonterminal{Bool}} \\ & {\delimit} &{\terminal{readInt}} \\ & {\delimit} &{\terminal{readBool}} \\