diff options
| author | Kathy Gray | 2014-06-26 14:44:50 +0100 |
|---|---|---|
| committer | Kathy Gray | 2014-06-26 14:44:50 +0100 |
| commit | c55929d04de367ebf84eac485199690d5daf0ed7 (patch) | |
| tree | 5a7482cb88cd634955156234084b53fe154836dc /language/l2.lem | |
| parent | 5f3c514985ac2391aa5fff44b44d433b555b18e5 (diff) | |
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
Diffstat (limited to 'language/l2.lem')
| -rw-r--r-- | language/l2.lem | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/language/l2.lem b/language/l2.lem index af6b1485..3b86d2db 100644 --- a/language/l2.lem +++ b/language/l2.lem @@ -218,7 +218,8 @@ and fpat 'a = type exp_aux 'a = (* Expression *) - | E_block of list (exp 'a) (* block (parsing conflict with structs?) *) + | E_block of list (exp 'a) (* block *) + | E_nondet of list (exp 'a) (* nondeterminisitic block, expressions evaluate in an unspecified order, or concurrently *) | E_id of id (* identifier *) | E_lit of lit (* literal constant *) | E_cast of typ * (exp 'a) (* cast *) |