Skip to content

Commit

Permalink
Merge pull request #155 from Typee-Language/#85-Modify-/-Correct-Type…
Browse files Browse the repository at this point in the history
…e-Syntax

#85-Modify-Correct Typee Syntax
  • Loading branch information
schmouk authored Feb 4, 2019
2 parents c91459a + 641fbe0 commit 37a2662
Showing 1 changed file with 7 additions and 5 deletions.
12 changes: 7 additions & 5 deletions Language-specifications/typee_specs_LL1-v9-1.grm
Original file line number Diff line number Diff line change
Expand Up @@ -459,6 +459,8 @@ SOFTWARE.
<simple statement> ::= <assert statement> <simple statement end>
| <del statement> <simple statement end>
| <ensure statement> <simple statement end>
| <file endianness> ##
| <file flushing> ##
| <flow statement> <simple statement end>
| <import statement> <simple statement end>
| <nop statement> <simple statement end>
Expand Down Expand Up @@ -539,7 +541,7 @@ SOFTWARE.
| <type alias> <simple statement end>
| <decl or def statement''>
<decl or def statement''> ::= <TYPE'> <decl or def statement'''>
| <enum definition> ####
| <enum definition> ##
| <identifier> <decl constructor or decl end>
<decl or def statement'''> ::= <identifier> <decl or def statement''''>
| <operator definition>
Expand Down Expand Up @@ -577,10 +579,10 @@ SOFTWARE.
<ensure statement'> ::= ',' <expression>
| EPS

<enum definition> ::= <enum type> <identifier> '{' <enum list> '}'
<enum definition> ::= <enum type> <identifier> '{' <enum list> '}' ##

<enum item> ::= <identifier> <enum item'>
<enum item'> ::= '=' <expression>
<enum item> ::= <identifier> <enum item'> ##
<enum item'> ::= '=' <expression> ##
| EPS

<enum list> ::= <enum item> <enum list'>
Expand All @@ -596,7 +598,7 @@ SOFTWARE.
| '>>>' <expression> <file endianness'>
| EPS

<file flushing> ::= '!' <dotted name> <file flushing'>
<file flushing> ::= '!' <dotted.name> <file flushing'>
<file flushing'> ::= '(' <expression> <file flushing''> ')'
| '[' <expression> ']' '=' <expression>
| '>>' <expression>
Expand Down

0 comments on commit 37a2662

Please sign in to comment.