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

Instant unification error on arguments count mismatch #716

Merged
zxq9 merged 3 commits from github/fork/radrow/no-arg-pp-fix into lima 2020-02-21 18:28:56 +09:00
Conversation 5 Commits 3 Files Changed 3 +2 -1
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit e3055ef168 - Show all commits

3
test/contracts/bad_number_of_args.aes
View File

@ -2,4 +2,5 @@ contract Test =
entrypoint f() = ()
entrypoint g(x : int, y : string) = f(1)
entrypoint h() = g(1)
entrypoint i() = g("Litwo, ojczyzno moja")
entrypoint i() = g("Litwo, ojczyzno moja")