diff --git a/Language-specifications/typee_specs_LL1-v9-1.grm b/Language-specifications/typee_specs_LL1-v9-1.grm index 8bbb760..c807deb 100644 --- a/Language-specifications/typee_specs_LL1-v9-1.grm +++ b/Language-specifications/typee_specs_LL1-v9-1.grm @@ -459,6 +459,8 @@ SOFTWARE. ::= | | + | ## + | ## | | | @@ -539,7 +541,7 @@ SOFTWARE. | | ::= - | #### + | ## | ::= | @@ -577,10 +579,10 @@ SOFTWARE. ::= ',' | EPS - ::= '{' '}' + ::= '{' '}' ## - ::= - ::= '=' + ::= ## + ::= '=' ## | EPS ::= @@ -596,7 +598,7 @@ SOFTWARE. | '>>>' | EPS - ::= '!' + ::= '!' ::= '(' ')' | '[' ']' '=' | '>>'