diff options
| author | Alasdair Armstrong | 2019-01-08 17:08:34 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-01-08 17:11:48 +0000 |
| commit | eb837a0ae70ef5dc8a2a3a28d59a736c57a952b3 (patch) | |
| tree | 96f3fcfde01cc6798d00c969be4363c2bf055b38 /src/specialize.ml | |
| parent | 36d876fd74d8fdcb9bb54a4c0aa220f0ab14e5da (diff) | |
Improvements for v85
Diffstat (limited to 'src/specialize.ml')
| -rw-r--r-- | src/specialize.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/specialize.ml b/src/specialize.ml index b619edde..e7f686d8 100644 --- a/src/specialize.ml +++ b/src/specialize.ml @@ -258,6 +258,7 @@ and typ_arg_frees ?exs:(exs=KidSet.empty) (A_aux (typ_arg_aux, l)) = | A_nexp n -> KidSet.empty | A_typ typ -> typ_frees ~exs:exs typ | A_order ord -> KidSet.empty + | A_bool _ -> KidSet.empty let rec typ_int_frees ?exs:(exs=KidSet.empty) (Typ_aux (typ_aux, l)) = match typ_aux with @@ -275,6 +276,7 @@ and typ_arg_int_frees ?exs:(exs=KidSet.empty) (A_aux (typ_arg_aux, l)) = | A_nexp n -> KidSet.diff (tyvars_of_nexp n) exs | A_typ typ -> typ_int_frees ~exs:exs typ | A_order ord -> KidSet.empty + | A_bool _ -> KidSet.empty let specialize_id_valspec instantiations id ast = match split_defs (is_valspec id) ast with |