From adb37fa510008dec837ec7ed525079c9397ebe5a Mon Sep 17 00:00:00 2001 From: Gaith Hallak Date: Sat, 6 May 2023 20:04:18 +0300 Subject: [PATCH] Revert "Remove unused functions" This reverts commit f835862a48e7ba4740ed8f8624540b8dfe552758. --- src/aeso_tc_constraints.erl | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/src/aeso_tc_constraints.erl b/src/aeso_tc_constraints.erl index bfbadb7..b20a011 100644 --- a/src/aeso_tc_constraints.erl +++ b/src/aeso_tc_constraints.erl @@ -5,6 +5,8 @@ , 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 @@ -136,6 +138,12 @@ 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,