sophia/test/contracts/code_errors/higher_order_compare.aes

9 lines
155 B
Plaintext

contract HigherOrderCompare =
function cmp(x : int => int, y) : bool =
x < y
entrypoint test() =
let f(x) = (y) => x + y
cmp(f(1), f(2))