diff options
| author | Alasdair Armstrong | 2017-07-31 13:24:24 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-07-31 13:24:24 +0100 |
| commit | d7ac8055dcec25f7579128398f1fbed262ceea36 (patch) | |
| tree | 2711e733951397909af96e864ca45bc195acf871 /src | |
| parent | 21f45448b9bd5d2653481d6911659b35da5dd5d3 (diff) | |
Fixed bug in existential return types
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) |