From 85ffca34b0e5fbe7ef502c8be213df7a5052f6cf Mon Sep 17 00:00:00 2001
From: Schmouk <ph.schmouker@yahoo.fr>
Date: Fri, 8 Feb 2019 10:45:43 +0100
Subject: [PATCH] #85-Modify-Correct Typee syntax

Corrected rule <statements block>. Accepts now single statement without brackets - should alwa
---
 .../typee_specs_LL1-v9-1-EBNF.grm                    | 12 +++++++++++-
 Language-specifications/typee_specs_LL1-v9-1.grm     |  8 +++++---
 2 files changed, 16 insertions(+), 4 deletions(-)

diff --git a/Language-specifications/typee_specs_LL1-v9-1-EBNF.grm b/Language-specifications/typee_specs_LL1-v9-1-EBNF.grm
index c9e7872..ea15739 100644
--- 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
index 0ed9d6e..8d24a7c 100644
--- 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>