diff options
Diffstat (limited to 'src/interpreter.ml')
| -rw-r--r-- | src/interpreter.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/interpreter.ml b/src/interpreter.ml index 194812ca..40ee251d 100644 --- a/src/interpreter.ml +++ b/src/interpreter.ml @@ -673,7 +673,7 @@ let rec eval_frame' = function let eval_frame frame = try eval_frame' frame with - | Type_check.Type_error (l, err) -> + | Type_check.Type_error (env, l, err) -> raise (Reporting.err_typ l (Type_error.string_of_type_error err)) let rec run_frame frame = |