Clarified BNF

This commit is contained in:
greg 2018-06-28 02:39:47 -07:00
parent 0a02c21e70
commit 3c022fc4ef

View File

@ -112,9 +112,10 @@ pattern := identifier //TODO NOT DONE
/* NEW GOOD */ /* NEW GOOD */
/* Expression - If */ /* Expression - If */
if_expr := 'if' discriminator ('then' condititional | 'is' pattern 'then' conditional | guard_block) if_expr := 'if' discriminator ('then' condititional | 'is' simple_pattern_match | guard_block)
discriminator := modified_precedence_expression discriminator := modified_precedence_expression
conditional := block else_clause conditional := block else_clause
simple_pattern_match := pattern 'then' conditional
else_clause := ε | 'else' block else_clause := ε | 'else' block
/* Expression - While */ /* Expression - While */