blob: 11d74db0e613d0add48f3d3f5a778b2a343e88ab (
plain)
1
2
3
4
|
Types.dfy(9,20): Error: arguments must have the same type (got A -> A -> A and (A -> A) -> A)
Types.dfy(14,20): Error: arguments must have the same type (got (A -> A) -> A and A -> A -> A)
Types.dfy(18,20): Error: arguments must have the same type (got A -> A -> A and (A -> A) -> A)
3 resolution/type errors detected in Types.dfy
|
