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

Add test for void supertype

Browse Source
This commit is contained in:
Gaith Hallak 2022-09-07 17:29:38 +03:00
parent 04e1c94bae
commit 2374b06734
2 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
test/aeso_compiler_tests.erl
View File

@ -203,6 +203,7 @@ compilable_contracts() ->
"polymorphism_contract_interface_same_decl_multi_interface",
"polymorphism_contract_interface_same_name_same_type",
"polymorphism_variance_switching_chain_create",
"polymorphism_variance_switching_void_supertype",
"missing_init_fun_state_unit",
"complex_compare_leq",
"complex_compare",

5
test/contracts/polymorphism_variance_switching_void_supertype.aes Normal file
View File

@ -0,0 +1,5 @@
payable contract interface SalesOffer =
entrypoint init : (address, address, int, int) => void
payable contract Test : SalesOffer =
entrypoint init(_ : address, _ : address, _ : int, _ : int) = ()