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

Handle comments about polymorphism_variance_switching.aes

Browse Source
This commit is contained in:
Gaith Hallak 2022-05-24 23:17:17 +04:00
parent 8067d15a41
commit 025e0f7b8f
2 changed files with 10 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
test/aeso_compiler_tests.erl
View File

@ -861,22 +861,22 @@ failing_contracts() ->
"Trying to implement or extend an undefined interface `H`">> "Trying to implement or extend an undefined interface `H`">>
]) ])
, ?TYPE_ERROR(polymorphism_variance_switching, , ?TYPE_ERROR(polymorphism_variance_switching,
[<<?Pos(39,49) [<<?Pos(36,49)
"Cannot unify `Cat` and `Animal` in a contravariant context\n" "Cannot unify `Cat` and `Animal` in a contravariant context\n"
"when checking the application of\n" "when checking the application of\n"
" `g2 : (Cat) => Cat`\n" " `g2 : (Cat) => Cat`\n"
"to arguments\n" "to arguments\n"
" `x : Animal`">>, " `x : Animal`">>,
<<?Pos(42,43) <<?Pos(39,43)
"Cannot unify `Animal` and `Cat` in a covariant context\n" "Cannot unify `Animal` and `Cat` in a covariant context\n"
"when checking the type of the expression `g3(x) : Animal` against the expected type `Cat`">>, "when checking the type of the expression `g3(x) : Animal` against the expected type `Cat`">>,
<<?Pos(51,55) <<?Pos(48,55)
"Cannot unify `Animal` and `Cat` in a covariant context\n" "Cannot unify `Animal` and `Cat` in a covariant context\n"
"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(55, 44) <<?Pos(52, 44)
"Cannot unify `Animal` and `Cat` in a covariant context\n" "Cannot unify `Animal` and `Cat` in a covariant context\n"
"when checking the type of the expression `f6() : option(Animal)` against the expected type `option(Cat)`">> "when checking the type of the expression `f6() : option(Animal)` against the expected type `option(Cat)`">>
]) ])

15
test/contracts/polymorphism_variance_switching.aes
View File

@ -12,8 +12,8 @@ contract Cat : Animal =
main contract Main = main contract Main =
entrypoint init() = () entrypoint init() = ()
stateful function g0(x : Creature) : Cat = Chain.create() stateful function g0(_ : Creature) : Cat = Chain.create()
stateful function f0(x : Cat) : Creature = g1(x) stateful function f0(x : Cat) : Creature = g0(x)
stateful function h0() = stateful function h0() =
let a : Animal = (Chain.create() : Cat) let a : Animal = (Chain.create() : Cat)
let c : Creature = (Chain.create() : Cat) let c : Creature = (Chain.create() : Cat)
@ -22,9 +22,6 @@ main contract Main =
stateful function g1(x : Animal) : Cat = Chain.create() stateful function g1(x : Animal) : Cat = Chain.create()
stateful function f1(x : Cat) : Animal = g1(x) stateful function f1(x : Cat) : Animal = g1(x)
stateful function h1() =
let x : Animal = (Chain.create() : Cat)
()
stateful function g11(x : list(Animal)) : list(Cat) = [Chain.create()] stateful function g11(x : list(Animal)) : list(Cat) = [Chain.create()]
stateful function f11(x : list(Cat)) : list(Animal) = g11(x) stateful function f11(x : list(Cat)) : list(Animal) = g11(x)
@ -36,10 +33,10 @@ main contract Main =
stateful function f13() : map(Animal, Animal) = g13() stateful function f13() : map(Animal, Animal) = g13()
stateful function g2(x : Cat) : Cat = Chain.create() stateful function g2(x : Cat) : Cat = Chain.create()
stateful function f2(x : Animal) : Animal = g2(x) stateful function f2(x : Animal) : Animal = g2(x) // fail
stateful function g3(x : Cat) : Animal = f1(x) stateful function g3(x : Cat) : Animal = f1(x)
stateful function f3(x : Cat) : Cat = g3(x) stateful function f3(x : Cat) : Cat = g3(x) // fail
stateful function g4(x : (Cat => Animal)) : Cat = Chain.create() stateful function g4(x : (Cat => Animal)) : Cat = Chain.create()
stateful function f4(x : (Animal => Cat)) : Animal = g4(x) stateful function f4(x : (Animal => Cat)) : Animal = g4(x)
@ -48,11 +45,11 @@ main contract Main =
stateful function f44(x : list(list(Animal) => list(Cat))) : Animal = g44(x) stateful function f44(x : list(list(Animal) => list(Cat))) : Animal = g44(x)
stateful function g5(x : (Animal => Animal)) : Cat = Chain.create() stateful function g5(x : (Animal => Animal)) : Cat = Chain.create()
stateful function f5(x : (Cat => Cat)) : Animal = g5(x) stateful function f5(x : (Cat => Cat)) : Animal = g5(x) // fail
stateful function g6() : option(Cat) = Some(Chain.create()) stateful function g6() : option(Cat) = Some(Chain.create())
stateful function f6() : option(Animal) = g6() stateful function f6() : option(Animal) = g6()
stateful function h6() : option(Cat) = f6() stateful function h6() : option(Cat) = f6() // fail
type cat_type = Cat type cat_type = Cat
type animal_type = Animal type animal_type = Animal