diff options
| author | Alasdair Armstrong | 2018-01-12 17:00:20 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-01-12 17:00:20 +0000 |
| commit | ebc33211b0a3a6c14bbe4106b9a618b8ac594f52 (patch) | |
| tree | 08183d2479107686fd91d54bb89f65a35eab7109 /src/initial_check.ml | |
| parent | f12a3b5ea9d541163f277ad5e40a005b8b955512 (diff) | |
OCaml interactive mode can now run full aarch64 examples, and ocaml test cases.
Diffstat (limited to 'src/initial_check.ml')
| -rw-r--r-- | src/initial_check.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/initial_check.ml b/src/initial_check.ml index 28579291..5f3930b6 100644 --- a/src/initial_check.ml +++ b/src/initial_check.ml @@ -536,7 +536,7 @@ and to_ast_lexp (k_env : kind Envmap.t) (def_ord : order) (Parse_ast.E_aux(exp,l let is_ok_in_tup (LEXP_aux (le,(l,_))) = match le with | LEXP_id _ | LEXP_cast _ | LEXP_vector _ | LEXP_field _ | LEXP_vector_range _ | LEXP_tup _ -> () - | LEXP_memory _ -> + | LEXP_memory _ | LEXP_deref _ -> typ_error l "only identifiers, fields, and vectors may be set in a tuple" None None None in List.iter is_ok_in_tup ltups; LEXP_tup(ltups) @@ -1100,4 +1100,4 @@ let process_ast order defs = let ast_of_def_string order str = let def = Parser.def_eof Lexer.token (Lexing.from_string str) in - process_ast order (Defs [def]) + process_ast order (Parse_ast.Defs [def]) |