aboutsummaryrefslogtreecommitdiff
path: root/testsuite/compilable/const_negation.elna
blob: a62cc1e36ac2bbbb91a85f8e2df072664aea3e7e (plain)
1
2
3
4
5
6
7
8
var
  x: const Int := -5
  y: const Int := -x

begin
  assert(x = -5);
  assert(y = 5);
end.