diff options
| author | Alasdair Armstrong | 2018-07-27 19:06:06 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-07-27 19:06:29 +0100 |
| commit | 2b58101cb9637349cd35d59c8a205df369b1d69e (patch) | |
| tree | 96e86806b900d5c5dcedb0e19531e60c6e7c7b1c /src | |
| parent | 3755e6701a9286677fd2f4ca40a16305b360f9d9 (diff) | |
Remove unused U_effect constructor
Diffstat (limited to 'src')
| -rw-r--r-- | src/monomorphise.ml | 3 | ||||
| -rw-r--r-- | src/specialize.ml | 1 | ||||
| -rw-r--r-- | src/type_check.ml | 5 | ||||
| -rw-r--r-- | src/type_check.mli | 1 |
4 files changed, 1 insertions, 9 deletions
diff --git a/src/monomorphise.ml b/src/monomorphise.ml index 3e7ef970..adc4d6d2 100644 --- a/src/monomorphise.ml +++ b/src/monomorphise.ml @@ -2838,8 +2838,7 @@ let deps_of_uvar l fn_id env arg_deps = function when List.exists (fun k -> Kid.compare kid k == 0) env.top_kids -> Parents (CallerKidSet.singleton (fn_id,kid)) | U_nexp nexp -> InFun (deps_of_nexp l env.kid_deps arg_deps nexp) - | U_order _ - | U_effect _ -> InFun dempty + | U_order _ -> InFun dempty | U_typ typ -> InFun (deps_of_typ l env.kid_deps arg_deps typ) let mk_subrange_pattern vannot vstart vend = diff --git a/src/specialize.ml b/src/specialize.ml index 0ac84e86..148b511c 100644 --- a/src/specialize.ml +++ b/src/specialize.ml @@ -162,7 +162,6 @@ let string_of_instantiation instantiation = let string_of_uvar = function | U_nexp n -> string_of_nexp n | U_order o -> string_of_order o - | U_effect eff -> string_of_effect eff | U_typ typ -> string_of_typ typ in diff --git a/src/type_check.ml b/src/type_check.ml index 0c0fc212..f98ddb98 100644 --- a/src/type_check.ml +++ b/src/type_check.ml @@ -1544,25 +1544,21 @@ let typ_identical env typ1 typ2 = type uvar = | U_nexp of nexp | U_order of order - | U_effect of effect | U_typ of typ let uvar_subst_nexp sv subst = function | U_nexp nexp -> U_nexp (nexp_subst sv subst nexp) | U_typ typ -> U_typ (typ_subst_nexp sv subst typ) - | U_effect eff -> U_effect eff | U_order ord -> U_order ord let uvar_subst_typ sv subst = function | U_nexp nexp -> U_nexp nexp | U_typ typ -> U_typ (typ_subst_typ sv subst typ) - | U_effect eff -> U_effect eff | U_order ord -> U_order ord let uvar_subst_order sv subst = function | U_nexp nexp -> U_nexp nexp | U_typ typ -> U_typ (typ_subst_order sv subst typ) - | U_effect eff -> U_effect eff | U_order ord -> U_order (order_subst sv subst ord) exception Unification_error of l * string;; @@ -1641,7 +1637,6 @@ let rec unify_nexps l env goals (Nexp_aux (nexp_aux1, _) as nexp1) (Nexp_aux (ne let string_of_uvar = function | U_nexp n -> string_of_nexp n | U_order o -> string_of_order o - | U_effect eff -> string_of_effect eff | U_typ typ -> string_of_typ typ let unify_order l (Ord_aux (ord_aux1, _) as ord1) (Ord_aux (ord_aux2, _) as ord2) = diff --git a/src/type_check.mli b/src/type_check.mli index aa9d6385..f1886f50 100644 --- a/src/type_check.mli +++ b/src/type_check.mli @@ -350,7 +350,6 @@ val destruct_vector : Env.t -> typ -> (nexp * order * typ) option type uvar = | U_nexp of nexp | U_order of order - | U_effect of effect | U_typ of typ val string_of_uvar : uvar -> string |