1 2 3 4 5 6 7 8 9 10 11 12
% COMMAND-LINE: --incremental % EXPECT: valid % EXPECT: valid % EXPECT: valid % EXIT: 20 x : INT; y : INT = x + 1; z : INT = -10; identity : INT -> INT = LAMBDA(x:INT) : x; QUERY identity(x) = x; QUERY identity(y) > x; QUERY identity(z) = -10;