diff options
Diffstat (limited to 'src/constant_fold.ml')
| -rw-r--r-- | src/constant_fold.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/constant_fold.ml b/src/constant_fold.ml index 9e474912..7321a801 100644 --- a/src/constant_fold.ml +++ b/src/constant_fold.ml @@ -161,7 +161,7 @@ let rec rewrite_constant_function_calls' ast = let v = run (Interpreter.Step (lazy "", (lstate, gstate), initial_monad, [])) in let exp = exp_of_value v in try (ok (); Type_check.check_exp (env_of_annot annot) exp (typ_of_annot annot)) with - | Type_error (l, err) -> + | Type_error (env, l, err) -> (* A type error here would be unexpected, so don't ignore it! *) Util.warn ("Type error when folding constants in " ^ string_of_exp (E_aux (e_aux, annot)) |