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 /src/initial_check.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 'src/initial_check.ml')
| -rw-r--r-- | src/initial_check.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/initial_check.ml b/src/initial_check.ml index c6c08c67..b95bf279 100644 --- a/src/initial_check.ml +++ b/src/initial_check.ml @@ -341,6 +341,7 @@ and to_ast_exp (k_env : kind Envmap.t) (Parse_ast.E_aux(exp,l) : Parse_ast.exp) (match to_ast_fexps false k_env exps with | Some(fexps) -> E_record(fexps) | None -> E_block(List.map (to_ast_exp k_env) exps)) + | Parse_ast.E_nondet(exps) -> E_nondet(List.map (to_ast_exp k_env) exps) | Parse_ast.E_id(id) -> E_id(to_ast_id id) | Parse_ast.E_lit(lit) -> E_lit(to_ast_lit lit) | Parse_ast.E_cast(typ,exp) -> E_cast(to_ast_typ k_env typ, to_ast_exp k_env exp) |