From 75f49460728a9422721ff1c4c8389141bb082ec1 Mon Sep 17 00:00:00 2001 From: Benjamin Canou Date: Wed, 7 Feb 2018 12:24:01 +0100 Subject: [PATCH] Alpha: remove unused function --- .../lib_protocol/src/script_ir_translator.ml | 12 ------------ 1 file changed, 12 deletions(-) diff --git a/src/proto_alpha/lib_protocol/src/script_ir_translator.ml b/src/proto_alpha/lib_protocol/src/script_ir_translator.ml index 499a1859c..36bb421db 100644 --- a/src/proto_alpha/lib_protocol/src/script_ir_translator.ml +++ b/src/proto_alpha/lib_protocol/src/script_ir_translator.ml @@ -962,18 +962,6 @@ and parse_ty : bool -> Script.node -> (ex_ty * annot) tzresult = fun big_map_pos T_string ; T_tez ; T_bool ; T_key ; T_key_hash ; T_timestamp ] -let comparable_ty_of_ty - : type a. int -> a ty -> a comparable_ty tzresult - = fun loc ty -> match ty with - | Int_t -> ok Int_key - | Nat_t -> ok Nat_key - | String_t -> ok String_key - | Tez_t -> ok Tez_key - | Bool_t -> ok Bool_key - | Key_hash_t -> ok Key_hash_key - | Timestamp_t -> ok Timestamp_key - | ty -> error (Comparable_type_expected (loc, ty)) - let rec unparse_stack : type a. a stack_ty -> Script.expr list = function