Adding better support for unspecified values in indexed vectors

Also begining to add support for nondeterministic blocks and cleaning up some of the Many warnings on pattern matches

1 files changed, 2 insertions, 0 deletions

diff --git a/language/l2_parse.ott b/language/l2_parse.ott
index e62e4587..a655959d 100644
--- a/language/l2_parse.ott
+++ b/language/l2_parse.ott
@@ -415,6 +415,8 @@ exp :: 'E_' ::=
   | { exp1 ; ... ; expn }                               :: :: block {{ com block (parsing conflict with structs?) }}
 % maybe we really should have indentation-sensitive syntax :-)  (given that some of the targets do)
 
+  | nondet { exp1 ; ... ; expn }                        :: :: nondet {{ com block that can evaluate the contained expressions in any ordering }}
+
   | id                                                  :: :: id
     {{ com identifier }}