Hide warning when calling with non-0 value arg (#431)

* Hide warning when calling with non-0 value arg

* Update the tests

* Update CHANGELOG
This commit is contained in:
Gaith Hallak
2022-12-12 11:44:24 +03:00
committed by GitHub
parent 9ad8e26e88
commit 31fd8fe24f
3 changed files with 15 additions and 3 deletions
+8 -1
View File
@@ -12,7 +12,7 @@ namespace UnusedNamespace =
// Unused
private function h() = 3
contract Warnings =
main contract Warnings =
type state = int
@@ -58,3 +58,10 @@ namespace FunctionsAsArgs =
private function inc(n : int) : int = n + 1
// Never used
private function dec(n : int) : int = n - 1
contract Remote =
entrypoint id(_) = 0
contract C =
payable stateful entrypoint
call_missing_con() : int = (ct_1111111111111111111111111111112JF6Dz72 : Remote).id(value = 1, 0)