diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/type_check.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/type_check.ml b/src/type_check.ml index fea94a90..ba478148 100644 --- a/src/type_check.ml +++ b/src/type_check.ml @@ -1171,7 +1171,7 @@ and tnf_args_eq env arg1 arg2 = let rec nexp_frees ?exs:(exs=KidSet.empty) (Nexp_aux (nexp, l)) = match nexp with - | Nexp_id _ -> typ_error l "Unimplemented Nexp_id in nexp_frees ~exs:exs" + | Nexp_id _ -> KidSet.empty | Nexp_var kid -> KidSet.singleton kid | Nexp_constant _ -> KidSet.empty | Nexp_times (n1, n2) -> KidSet.union (nexp_frees ~exs:exs n1) (nexp_frees ~exs:exs n2) |