From d744f24a3884160cdf316210ee3b3fc3b297b5ee Mon Sep 17 00:00:00 2001 From: Hyeseong Kim Date: Wed, 6 Nov 2024 00:45:21 +0900 Subject: [PATCH] remove unused clause --- compiler/ml/translcore.ml | 1 - 1 file changed, 1 deletion(-) diff --git a/compiler/ml/translcore.ml b/compiler/ml/translcore.ml index ed0ebb6b56..a3f61e8990 100644 --- a/compiler/ml/translcore.ml +++ b/compiler/ml/translcore.ml @@ -61,7 +61,6 @@ let translate_unified_ops (prim : Primitive.description) (env : Env.t) match specialization with | {int} when is_base_type env lhs_type Predef.path_int - || is_base_type env lhs_type Predef.path_char || maybe_pointer_type env lhs_type = Immediate -> Some int | {float = Some float} when is_base_type env lhs_type Predef.path_float ->