#85-Modify-Correct Typee syntax

Corrected rule <statements block>. Accepts now single statement without brackets - should alwa
Typee-Language · Feb 8, 2019 · 85ffca3 · 85ffca3
1 parent 937db8b
commit 85ffca3
Show file tree

Hide file tree

Showing 2 changed files with 16 additions and 4 deletions.
diff --git a/Language-specifications/typee_specs_LL1-v9-1-EBNF.grm b/Language-specifications/typee_specs_LL1-v9-1-EBNF.grm
@@ -343,7 +343,17 @@ SOFTWARE.
 <simple statement end>      ::= ';' 
 
 <statements block>          ::= '{' [<statements list>] '}'  |
-                                [<nop statement>] <simple statement end>
+                                (<empty statement>)*  |
+                                <compound statement>  |  <simple statement>
+
+
+<statements block>  ::= '{' <statements list> '}'
+                     |  <empty statement> <statements block>                ###
+                     |  <compound statement>                                ###
+                     |  <simple statement>                                  ###
+##                     |  <nop statement> <simple statement end>            ###
+##                     |  <simple statement end>                            ###
+
 
 <assert statement>          ::= 'assert' <expression> ( ',' <expression>)*
 

diff --git a/Language-specifications/typee_specs_LL1-v9-1.grm b/Language-specifications/typee_specs_LL1-v9-1.grm
@@ -476,9 +476,11 @@ SOFTWARE.
 <simple statement end> ::= ';'
 
 <statements block>  ::= '{' <statements list> '}'
-                     |  <nop statement> <simple statement end>
-                     |  <simple statement end>
-
+                     |  <empty statement> <statements block>                ###
+                     |  <compound statement>                                ###
+                     |  <simple statement>                                  ###
+##                     |  <nop statement> <simple statement end>            ###
+##                     |  <simple statement end>                            ###
 
 <assert statement>  ::= 'assert' <expression> <assert statement'>
 <assert statement'> ::= ',' <expression>