-
Notifications
You must be signed in to change notification settings - Fork 203
/
breaktest.t
73 lines (65 loc) · 1.24 KB
/
breaktest.t
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
C = terralib.includec("stdio.h")
local whilebreak = quote
var i = 0
while i < 7 do
if i == 3 then
break
end
i = i + 1
end
return i
end
local repeatbreak = quote
var z = 0
repeat
z = z + 1
if z == 2 then
break
end
until z == 7
return z
end
local forbreak = quote
var z = 0
for i = 1, 10 do
z = z + 1
if i == 4 then
break
end
end
return z
end
local function withbreak(thebreak,thevalue)
local terra whileoutside()
var i = 0
while i < 10 do
[ thebreak ]
i = i + 1
end
return -1
end
assert(whileoutside() == thevalue)
local terra foroutside()
for i = 1,10 do
[ thebreak ]
end
return -1
end
assert(foroutside() == thevalue)
local terra repeatoutside()
var i = 0
repeat
[ thebreak ]
i = i + 1
until i == 10
return -1
end
assert(repeatoutside() == thevalue)
local terra simple()
[ thebreak ]
end
assert(simple() == thevalue)
end
withbreak(forbreak,4)
withbreak(whilebreak,3)
withbreak(repeatbreak,2)