summaryrefslogtreecommitdiff
path: root/test/files/run/tailcalls.check
blob: 92d4f8a3c863e1bd3f85a9544e3fd169935f09f1 (plain) (blame)
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
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
#partest !avian
test Object   .f was successful
test Final    .f was successful
test Class    .f raised exception java.lang.StackOverflowError
test SubClass .f was successful
test Sealed   .f raised exception java.lang.StackOverflowError
test SubSealed.f was successful

test O      .f was successful
test c      .f was successful
test O.O    .f was successful
test O.c    .f was successful
test c.O    .f was successful
test c.c    .f was successful
test O.O.O  .f was successful
test O.O.c  .f was successful
test O.c.O  .f was successful
test O.c.c  .f was successful
test c.O.O  .f was successful
test c.O.c  .f was successful
test c.c.O  .f was successful
test c.c.c  .f was successful
test O.O.O.O.f was successful
test O.O.O.c.f was successful
test O.O.c.O.f was successful
test O.O.c.c.f was successful
test O.c.O.O.f was successful
test O.c.O.c.f was successful
test O.c.c.O.f was successful
test O.c.c.c.f was successful
test c.O.O.O.f was successful
test c.O.O.c.f was successful
test c.O.c.O.f was successful
test c.O.c.c.f was successful
test c.c.O.O.f was successful
test c.c.O.c.f was successful
test c.c.c.O.f was successful
test c.c.c.c.f was successful

test TailCall.f1 was successful
test TailCall.f2 was successful
test TailCall.f3 was successful
test TailCall.g1 was successful
test TailCall.g2 was successful
test TailCall.g3 was successful
test TailCall.h1 was successful

test NonTailCall.f1 0 1 2 was successful
test NonTailCall.f2
test TailCall.b1 was successful
test TailCall.b2 was successful
test FancyTailCalls.tcTryLocal was successful
test FancyTailCalls.tcInBooleanExprFirstOp was successful
test FancyTailCalls.tcInBooleanExprSecondOp was successful
test FancyTailCalls.tcInIfCond was successful
test FancyTailCalls.tcInPatternGuard was successful
test FancyTailCalls.differentInstance was successful
test PolyObject.tramp was successful
#partest avian
test Object   .f was successful
test Final    .f was successful
test Class    .f was successful
test SubClass .f was successful
test Sealed   .f was successful
test SubSealed.f was successful

test O      .f was successful
test c      .f was successful
test O.O    .f was successful
test O.c    .f was successful
test c.O    .f was successful
test c.c    .f was successful
test O.O.O  .f was successful
test O.O.c  .f was successful
test O.c.O  .f was successful
test O.c.c  .f was successful
test c.O.O  .f was successful
test c.O.c  .f was successful
test c.c.O  .f was successful
test c.c.c  .f was successful
test O.O.O.O.f was successful
test O.O.O.c.f was successful
test O.O.c.O.f was successful
test O.O.c.c.f was successful
test O.c.O.O.f was successful
test O.c.O.c.f was successful
test O.c.c.O.f was successful
test O.c.c.c.f was successful
test c.O.O.O.f was successful
test c.O.O.c.f was successful
test c.O.c.O.f was successful
test c.O.c.c.f was successful
test c.c.O.O.f was successful
test c.c.O.c.f was successful
test c.c.c.O.f was successful
test c.c.c.c.f was successful

test TailCall.f1 was successful
test TailCall.f2 was successful
test TailCall.f3 was successful
test TailCall.g1 was successful
test TailCall.g2 was successful
test TailCall.g3 was successful
test TailCall.h1 was successful

test NonTailCall.f1 0 1 2 was successful
test NonTailCall.f2
test TailCall.b1 was successful
test TailCall.b2 was successful
test FancyTailCalls.tcTryLocal was successful
test FancyTailCalls.tcInBooleanExprFirstOp was successful
test FancyTailCalls.tcInBooleanExprSecondOp was successful
test FancyTailCalls.tcInIfCond was successful
test FancyTailCalls.tcInPatternGuard was successful
test FancyTailCalls.differentInstance was successful
test PolyObject.tramp was successful