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.ml | |
| 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.ml')
| -rw-r--r-- | language/l2.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/language/l2.ml b/language/l2.ml index e46014dc..a13ce981 100644 --- a/language/l2.ml +++ b/language/l2.ml @@ -232,7 +232,8 @@ typschm = type 'a exp_aux = (* Expression *) - E_block of ('a exp) list (* block (parsing conflict with structs?) *) + E_block of ('a exp) list (* block *) + | E_nondet of ('a exp) list (* 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 * 'a exp (* cast *) |