Call normalize_type from infer_exp_force

project-everest · Oct 31, 2018 · b4191ab · b4191ab
1 parent 305f66e
commit b4191ab
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tools/Vale/src/typechecker.fs b/tools/Vale/src/typechecker.fs
@@ -1627,7 +1627,7 @@ and infer_exp_force (env:env) (u:unifier) (e:exp) (et:typ option):(typ * aexp) =
         subst_typ (u.u_substs) t
       | t -> t
       in
-    (t, ae)
+    (normalize_type env t, ae)
   with err -> (match locs_of_exp e with [] -> raise err | loc::_ -> locErr loc err)
 
 let tc_exp (env:env) (e:exp) (et:typ option):(typ * exp) =