summaryrefslogtreecommitdiff
path: root/test/regress/regress0/bug322b.cvc
blob: fa9462f64533dbf0079f3bbf6a46e9725b91740a (plain) 
1
2
3
4
5
6
7
8
9
10
11

% COMMAND-LINE: --incremental
% EXPECT: valid
% EXPECT: valid
% EXPECT: valid
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;
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback