diff options
| author | Alasdair | 2019-02-11 22:52:55 +0000 |
|---|---|---|
| committer | Alasdair | 2019-02-11 22:52:55 +0000 |
| commit | 8a2b660710af1635a0568b5b63acd30b57d3c343 (patch) | |
| tree | 458d3d2d987be19260fed343e3465039dc96bed3 /src | |
| parent | 9d86711a30ba93a1de7a5112dcfb58365cdbf3fd (diff) | |
Expand type synonyms for E_constraint and E_sizeof
Diffstat (limited to 'src')
| -rw-r--r-- | src/type_check.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/type_check.ml b/src/type_check.ml index a236323b..8d532bb3 100644 --- a/src/type_check.ml +++ b/src/type_check.ml @@ -3428,10 +3428,10 @@ and infer_exp env (E_aux (exp_aux, (l, ())) as exp) = end | E_lit lit -> annot_exp (E_lit lit) (infer_lit env lit) | E_sizeof nexp -> - irule infer_exp env (rewrite_sizeof l env nexp) + irule infer_exp env (rewrite_sizeof l env (Env.expand_nexp_synonyms env nexp)) | E_constraint nc -> Env.wf_constraint env nc; - crule check_exp env (rewrite_nc env nc) (atom_bool_typ nc) + crule check_exp env (rewrite_nc env (Env.expand_constraint_synonyms env nc)) (atom_bool_typ nc) | E_field (exp, field) -> begin let inferred_exp = irule infer_exp env exp in |