From f835862a48e7ba4740ed8f8624540b8dfe552758 Mon Sep 17 00:00:00 2001 From: Gaith Hallak Date: Sat, 6 May 2023 16:34:22 +0300 Subject: [PATCH] Remove unused functions --- src/aeso_tc_constraints.erl | 8 -------- 1 file changed, 8 deletions(-) diff --git a/src/aeso_tc_constraints.erl b/src/aeso_tc_constraints.erl index b20a011..bfbadb7 100644 --- a/src/aeso_tc_constraints.erl +++ b/src/aeso_tc_constraints.erl @@ -5,8 +5,6 @@ , create_constraints/0 , add_is_contract_constraint/2 , add_is_contract_constraint/3 - , add_is_bytes_constraint/1 - , add_add_bytes_constraint/5 , add_aens_resolve_constraint/1 , add_oracle_type_constraint/2 , add_named_argument_constraint/3 @@ -138,12 +136,6 @@ add_named_argument_constraint(Args, Name, Type) -> name = Name, type = Type }). -add_is_bytes_constraint(Type) -> - add_constraint({is_bytes, Type}). - -add_add_bytes_constraint(Ann, Kind, A, B, C) -> - add_constraint({add_bytes, Ann, Kind, A, B, C}). - add_field_constraint(RecordT, Field, FieldT, Kind, Context) -> add_constraint(#field_constraint{ record_t = RecordT,