From 8a2b660710af1635a0568b5b63acd30b57d3c343 Mon Sep 17 00:00:00 2001
From: Alasdair
Date: Mon, 11 Feb 2019 22:52:55 +0000
Subject: Expand type synonyms for E_constraint and E_sizeof

---
 src/type_check.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src')

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
-- 
cgit v1.2.3