QPQ-AG/sophia
10
0
Fork 0
Code Issues 41 Pull Requests 5 Actions Packages Projects Releases 16 Wiki Activity

Revert "Remove unused functions"

Browse Source 
This reverts commit f835862a48e7ba4740ed8f8624540b8dfe552758.
This commit is contained in:
Gaith Hallak 2023-05-06 20:04:18 +03:00
parent f835862a48
commit adb37fa510
1 changed files with 8 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/aeso_tc_constraints.erl
View File

@ -5,6 +5,8 @@
, create_constraints/0 , create_constraints/0
, add_is_contract_constraint/2 , add_is_contract_constraint/2
, add_is_contract_constraint/3 , add_is_contract_constraint/3
, add_is_bytes_constraint/1
, add_add_bytes_constraint/5
, add_aens_resolve_constraint/1 , add_aens_resolve_constraint/1
, add_oracle_type_constraint/2 , add_oracle_type_constraint/2
, add_named_argument_constraint/3 , add_named_argument_constraint/3
@ -136,6 +138,12 @@ add_named_argument_constraint(Args, Name, Type) ->
name = Name, name = Name,
type = Type }). 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_field_constraint(RecordT, Field, FieldT, Kind, Context) ->
add_constraint(#field_constraint{ add_constraint(#field_constraint{
record_t = RecordT, record_t = RecordT,