diff options
| author | Alasdair Armstrong | 2018-11-30 19:33:50 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-11-30 19:35:29 +0000 |
| commit | 666062ce4d97fe48307d1feb5bb4eb32087b177a (patch) | |
| tree | eaf5eda1617912c7c11da6556ba8534250f1773f /src/initial_check.ml | |
| parent | 0363a325ca6c498e086519c4ecaf1f51dbff7f64 (diff) | |
Remove constraint synonyms
They weren't needed for ASL parser like I thought they would be, and
they increase the complexity of dealing with constraints throughout
Sail, so just remove them.
Also fix some compiler warnings
Diffstat (limited to 'src/initial_check.ml')
| -rw-r--r-- | src/initial_check.ml | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/src/initial_check.ml b/src/initial_check.ml index bd32a8e3..b442ae97 100644 --- a/src/initial_check.ml +++ b/src/initial_check.ml @@ -375,9 +375,6 @@ and to_ast_nexp_constraint (k_env : kind Envmap.t) (c : Parse_ast.n_constraint) NC_or (to_ast_nexp_constraint k_env nc1, to_ast_nexp_constraint k_env nc2) | Parse_ast.NC_and (nc1, nc2) -> NC_and (to_ast_nexp_constraint k_env nc1, to_ast_nexp_constraint k_env nc2) - | Parse_ast.NC_app (id, typs) -> - let nexps = List.map (to_ast_nexp k_env) typs in - NC_app (to_ast_id id, nexps) | Parse_ast.NC_true -> NC_true | Parse_ast.NC_false -> NC_false ), l) @@ -901,11 +898,6 @@ let to_ast_def (names, k_env, def_ord) partial_defs def : def_progress envs_out | Parse_ast.DEF_reg_dec(dec) -> let d = to_ast_dec envs dec in ((Finished(DEF_reg_dec(d))),envs),partial_defs - | Parse_ast.DEF_constraint (id, kids, nc) -> - let id = to_ast_id id in - let kids = List.map to_ast_var kids in - let nc = to_ast_nexp_constraint k_env nc in - ((Finished (DEF_constraint (id, kids, nc))), envs), partial_defs | Parse_ast.DEF_pragma (pragma, arg, l) -> ((Finished(DEF_pragma (pragma, arg, l))), envs), partial_defs | Parse_ast.DEF_internal_mutrec _ -> |