summaryrefslogtreecommitdiff
path: root/Test/test20/Coercions.bpl.expect
blob: 899e0cece6bb8dda2ca0e2819e9eeb1caa258929 (plain)
1
2
3
4
5
Coercions.bpl(13,8): Error: int cannot be coerced to E <a>[a]int
Coercions.bpl(15,8): Error: C cannot be coerced to D
Coercions.bpl(17,9): Error: int cannot be coerced to D
Coercions.bpl(18,9): Error: int cannot be coerced to E int
4 type checking errors detected in Coercions.bpl