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

Added contains functions in List and Option. Fixed one type error #769

Merged
zxq9 merged 3 commits from contains-fun into lima 2020-08-27 18:25:39 +09:00
Conversation 6 Commits 3 Files Changed 4 +2 -2
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit 3d73e52d48 - Show all commits

4
test/aeso_compiler_tests.erl
View File

@ -319,8 +319,8 @@ failing_contracts() ->
" x : int\n"
"against the expected type\n"
" string">>,
<<?Pos(14, 35)
"No record type with fields z, y (at line 14, column 35)">>,
<<?Pos(14, 24)
"No record type with fields y, z (at line 14, column 24)">>,
<<?Pos(15, 26)
"The field z is missing when constructing an element of type r2 (at line 15, column 26)">>,
<<?Pos(15, 24)