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

Polymorphism support #848

Merged
ghallak merged 53 commits from ghallak/307 into master 2022-06-17 18:09:07 +09:00
Conversation 97 Commits 53 Files Changed 28 +4 -1
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit 3fc6d47223 - Show all commits

5
test/aeso_compiler_tests.erl
View File

@ -883,7 +883,10 @@ failing_contracts() ->
"when checking the application of\n" "when checking the application of\n"
" `g5 : ((Animal) => Animal) => Cat`\n" " `g5 : ((Animal) => Animal) => Cat`\n"
"to arguments\n" "to arguments\n"
" `x : (Cat) => Cat`">> " `x : (Cat) => Cat`">>,
<<?Pos(54, 44)
"Cannot unify `Animal` and `Cat`\n"
"when checking the type of the expression `f6() : option(Animal)` against the expected type `option(Cat)`">>
]) ])
, ?TYPE_ERROR(polymorphism_variance_switching_custom_types, , ?TYPE_ERROR(polymorphism_variance_switching_custom_types,
[<<?Pos(56,32) [<<?Pos(56,32)