blob: 3f7a483e54bfd4ec7f106f6226cc681bd7ad768b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
program()
const
BASE = 2
LIMIT = BASE
var
x: Int := 2
matched: Bool := false
begin
case x of
1: assert(false)
| LIMIT: matched := true
end;
assert(matched)
end.
|