| Index: pkg/analyzer2dart/test/sexpr_data.dart
|
| diff --git a/pkg/analyzer2dart/test/sexpr_data.dart b/pkg/analyzer2dart/test/sexpr_data.dart
|
| index b0ac2c93a46d3fc6789fbc891fd2279c4cb0a803..2d1185f07dc382031b8d211cc3f4ff20f4627301 100644
|
| --- a/pkg/analyzer2dart/test/sexpr_data.dart
|
| +++ b/pkg/analyzer2dart/test/sexpr_data.dart
|
| @@ -35,9 +35,9 @@ main() {
|
| }
|
| ''', '''
|
| (FunctionDefinition main () return ()
|
| - (LetCont ((k0 (v0)
|
| + (LetCont (k0 (v0)
|
| (LetPrim (v1 (Constant (Null)))
|
| - (InvokeContinuation return (v1)))))
|
| + (InvokeContinuation return (v1))))
|
| (InvokeStatic foo () k0)))
|
| ''')
|
| ]),
|
| @@ -121,9 +121,9 @@ main() {
|
| ''', '''
|
| (FunctionDefinition main () return ()
|
| (LetPrim (v0 (Constant (Null)))
|
| - (LetCont ((k0 (v1)
|
| + (LetCont (k0 (v1)
|
| (LetPrim (v2 (Constant (Null)))
|
| - (InvokeContinuation return (v2)))))
|
| + (InvokeContinuation return (v2))))
|
| (InvokeStatic foo (v0) k0))))
|
| '''),
|
|
|
| @@ -137,13 +137,13 @@ main() {
|
| ''', '''
|
| (FunctionDefinition main () return ()
|
| (LetPrim (v0 (Constant (Null)))
|
| - (LetCont ((k0 (v1)
|
| + (LetCont (k0 (v1)
|
| (LetPrim (v2 (Constant (Int 0)))
|
| (LetPrim (v3 (Constant (String "")))
|
| - (LetCont ((k1 (v4)
|
| + (LetCont (k1 (v4)
|
| (LetPrim (v5 (Constant (Null)))
|
| - (InvokeContinuation return (v5)))))
|
| - (InvokeStatic bar (v2 v3) k1))))))
|
| + (InvokeContinuation return (v5))))
|
| + (InvokeStatic bar (v2 v3) k1)))))
|
| (InvokeStatic foo (v0) k0))))
|
| '''),
|
|
|
| @@ -155,8 +155,8 @@ main() {
|
| ''', '''
|
| (FunctionDefinition main () return ()
|
| (LetPrim (v0 (Constant (Null)))
|
| - (LetCont ((k0 (v1)
|
| - (InvokeContinuation return (v1))))
|
| + (LetCont (k0 (v1)
|
| + (InvokeContinuation return (v1)))
|
| (InvokeStatic foo (v0) k0))))
|
| '''),
|
| ]),
|
| @@ -232,11 +232,11 @@ main() {
|
| ''', '''
|
| (FunctionDefinition main () return ()
|
| (LetPrim (v0 (Constant (Int 0)))
|
| - (LetCont ((k0 (v1)
|
| + (LetCont (k0 (v1)
|
| (LetPrim (v2 (Constant (String "")))
|
| - (LetCont ((k1 (v3)
|
| - (InvokeContinuation return (v2))))
|
| - (InvokeStatic print (v2) k1)))))
|
| + (LetCont (k1 (v3)
|
| + (InvokeContinuation return (v2)))
|
| + (InvokeStatic print (v2) k1))))
|
| (InvokeStatic print (v0) k0))))
|
| '''),
|
|
|
| @@ -249,11 +249,11 @@ main(a) {
|
| }
|
| ''', '''
|
| (FunctionDefinition main (a) return ()
|
| - (LetCont ((k0 (v0)
|
| + (LetCont (k0 (v0)
|
| (LetPrim (v1 (Constant (String "")))
|
| - (LetCont ((k1 (v2)
|
| - (InvokeContinuation return (v1))))
|
| - (InvokeStatic print (v1) k1)))))
|
| + (LetCont (k1 (v2)
|
| + (InvokeContinuation return (v1)))
|
| + (InvokeStatic print (v1) k1))))
|
| (InvokeStatic print (a) k0)))
|
| '''),
|
|
|
| @@ -267,16 +267,16 @@ main(a) {
|
| }
|
| ''', '''
|
| (FunctionDefinition main (a) return ()
|
| - (LetCont ((k0 (v0)
|
| - (LetCont ((k1 (v1)
|
| - (InvokeContinuation return (v0))))
|
| - (InvokeStatic print (v0) k1))))
|
| - (LetCont ((k2 ()
|
| + (LetCont (k0 (v0)
|
| + (LetCont (k1 (v1)
|
| + (InvokeContinuation return (v0)))
|
| + (InvokeStatic print (v0) k1)))
|
| + (LetCont (k2 ()
|
| (LetPrim (v2 (Constant (String "")))
|
| (InvokeContinuation k0 (v2))))
|
| - (k3 ()
|
| - (InvokeContinuation k0 (a))))
|
| - (Branch (IsTrue a) k2 k3))))
|
| + (LetCont (k3 ()
|
| + (InvokeContinuation k0 (a)))
|
| + (Branch (IsTrue a) k2 k3)))))
|
| '''),
|
| ]),
|
|
|
| @@ -287,8 +287,8 @@ main(a) {
|
| }
|
| ''', '''
|
| (FunctionDefinition main (a) return ()
|
| - (LetCont ((k0 (v0)
|
| - (InvokeContinuation return (v0))))
|
| + (LetCont (k0 (v0)
|
| + (InvokeContinuation return (v0)))
|
| (InvokeMethod a foo () k0)))
|
| '''),
|
|
|
| @@ -300,8 +300,8 @@ main() {
|
| ''', '''
|
| (FunctionDefinition main () return ()
|
| (LetPrim (v0 (Constant (String "")))
|
| - (LetCont ((k0 (v1)
|
| - (InvokeContinuation return (v1))))
|
| + (LetCont (k0 (v1)
|
| + (InvokeContinuation return (v1)))
|
| (InvokeMethod v0 foo () k0))))
|
| '''),
|
| ]),
|
| @@ -314,8 +314,8 @@ main(a) {
|
| ''', '''
|
| (FunctionDefinition main (a) return ()
|
| (LetPrim (v0 (Constant (Int 0)))
|
| - (LetCont ((k0 (v1)
|
| - (InvokeContinuation return (v1))))
|
| + (LetCont (k0 (v1)
|
| + (InvokeContinuation return (v1)))
|
| (InvokeMethod a foo (v0) k0))))
|
| '''),
|
|
|
| @@ -329,8 +329,8 @@ main() {
|
| (LetPrim (v0 (Constant (String "")))
|
| (LetPrim (v1 (Constant (Int 0)))
|
| (LetPrim (v2 (Constant (Int 1)))
|
| - (LetCont ((k0 (v3)
|
| - (InvokeContinuation return (v3))))
|
| + (LetCont (k0 (v3)
|
| + (InvokeContinuation return (v3)))
|
| (InvokeMethod v0 foo (v1 v2) k0))))))
|
| '''),
|
| ]),
|
| @@ -344,8 +344,8 @@ main() {
|
| (FunctionDefinition main () return ()
|
| (LetPrim (v0 (Constant (Int 0)))
|
| (LetPrim (v1 (Constant (String "")))
|
| - (LetCont ((k0 (v2)
|
| - (InvokeContinuation return (v2))))
|
| + (LetCont (k0 (v2)
|
| + (InvokeContinuation return (v2)))
|
| (InvokeMethod v0 + (v1) k0)))))
|
| '''),
|
|
|
| @@ -357,8 +357,8 @@ main() {
|
| (FunctionDefinition main () return ()
|
| (LetPrim (v0 (Constant (Int 0)))
|
| (LetPrim (v1 (Constant (String "")))
|
| - (LetCont ((k0 (v2)
|
| - (InvokeContinuation return (v2))))
|
| + (LetCont (k0 (v2)
|
| + (InvokeContinuation return (v2)))
|
| (InvokeMethod v0 - (v1) k0)))))
|
| '''),
|
|
|
| @@ -370,8 +370,8 @@ main() {
|
| (FunctionDefinition main () return ()
|
| (LetPrim (v0 (Constant (Int 0)))
|
| (LetPrim (v1 (Constant (String "")))
|
| - (LetCont ((k0 (v2)
|
| - (InvokeContinuation return (v2))))
|
| + (LetCont (k0 (v2)
|
| + (InvokeContinuation return (v2)))
|
| (InvokeMethod v0 * (v1) k0)))))
|
| '''),
|
|
|
| @@ -383,8 +383,8 @@ main() {
|
| (FunctionDefinition main () return ()
|
| (LetPrim (v0 (Constant (Int 0)))
|
| (LetPrim (v1 (Constant (String "")))
|
| - (LetCont ((k0 (v2)
|
| - (InvokeContinuation return (v2))))
|
| + (LetCont (k0 (v2)
|
| + (InvokeContinuation return (v2)))
|
| (InvokeMethod v0 / (v1) k0)))))
|
| '''),
|
|
|
| @@ -396,8 +396,8 @@ main() {
|
| (FunctionDefinition main () return ()
|
| (LetPrim (v0 (Constant (Int 0)))
|
| (LetPrim (v1 (Constant (String "")))
|
| - (LetCont ((k0 (v2)
|
| - (InvokeContinuation return (v2))))
|
| + (LetCont (k0 (v2)
|
| + (InvokeContinuation return (v2)))
|
| (InvokeMethod v0 ~/ (v1) k0)))))
|
| '''),
|
|
|
| @@ -409,8 +409,8 @@ main() {
|
| (FunctionDefinition main () return ()
|
| (LetPrim (v0 (Constant (Int 0)))
|
| (LetPrim (v1 (Constant (String "")))
|
| - (LetCont ((k0 (v2)
|
| - (InvokeContinuation return (v2))))
|
| + (LetCont (k0 (v2)
|
| + (InvokeContinuation return (v2)))
|
| (InvokeMethod v0 < (v1) k0)))))
|
| '''),
|
|
|
| @@ -422,8 +422,8 @@ main() {
|
| (FunctionDefinition main () return ()
|
| (LetPrim (v0 (Constant (Int 0)))
|
| (LetPrim (v1 (Constant (String "")))
|
| - (LetCont ((k0 (v2)
|
| - (InvokeContinuation return (v2))))
|
| + (LetCont (k0 (v2)
|
| + (InvokeContinuation return (v2)))
|
| (InvokeMethod v0 <= (v1) k0)))))
|
| '''),
|
|
|
| @@ -435,8 +435,8 @@ main() {
|
| (FunctionDefinition main () return ()
|
| (LetPrim (v0 (Constant (Int 0)))
|
| (LetPrim (v1 (Constant (String "")))
|
| - (LetCont ((k0 (v2)
|
| - (InvokeContinuation return (v2))))
|
| + (LetCont (k0 (v2)
|
| + (InvokeContinuation return (v2)))
|
| (InvokeMethod v0 > (v1) k0)))))
|
| '''),
|
|
|
| @@ -448,8 +448,8 @@ main() {
|
| (FunctionDefinition main () return ()
|
| (LetPrim (v0 (Constant (Int 0)))
|
| (LetPrim (v1 (Constant (String "")))
|
| - (LetCont ((k0 (v2)
|
| - (InvokeContinuation return (v2))))
|
| + (LetCont (k0 (v2)
|
| + (InvokeContinuation return (v2)))
|
| (InvokeMethod v0 >= (v1) k0)))))
|
| '''),
|
|
|
| @@ -461,8 +461,8 @@ main() {
|
| (FunctionDefinition main () return ()
|
| (LetPrim (v0 (Constant (Int 0)))
|
| (LetPrim (v1 (Constant (String "")))
|
| - (LetCont ((k0 (v2)
|
| - (InvokeContinuation return (v2))))
|
| + (LetCont (k0 (v2)
|
| + (InvokeContinuation return (v2)))
|
| (InvokeMethod v0 << (v1) k0)))))
|
| '''),
|
|
|
| @@ -474,8 +474,8 @@ main() {
|
| (FunctionDefinition main () return ()
|
| (LetPrim (v0 (Constant (Int 0)))
|
| (LetPrim (v1 (Constant (String "")))
|
| - (LetCont ((k0 (v2)
|
| - (InvokeContinuation return (v2))))
|
| + (LetCont (k0 (v2)
|
| + (InvokeContinuation return (v2)))
|
| (InvokeMethod v0 >> (v1) k0)))))
|
| '''),
|
|
|
| @@ -487,8 +487,8 @@ main() {
|
| (FunctionDefinition main () return ()
|
| (LetPrim (v0 (Constant (Int 0)))
|
| (LetPrim (v1 (Constant (String "")))
|
| - (LetCont ((k0 (v2)
|
| - (InvokeContinuation return (v2))))
|
| + (LetCont (k0 (v2)
|
| + (InvokeContinuation return (v2)))
|
| (InvokeMethod v0 & (v1) k0)))))
|
| '''),
|
|
|
| @@ -500,8 +500,8 @@ main() {
|
| (FunctionDefinition main () return ()
|
| (LetPrim (v0 (Constant (Int 0)))
|
| (LetPrim (v1 (Constant (String "")))
|
| - (LetCont ((k0 (v2)
|
| - (InvokeContinuation return (v2))))
|
| + (LetCont (k0 (v2)
|
| + (InvokeContinuation return (v2)))
|
| (InvokeMethod v0 | (v1) k0)))))
|
| '''),
|
|
|
| @@ -513,8 +513,8 @@ main() {
|
| (FunctionDefinition main () return ()
|
| (LetPrim (v0 (Constant (Int 0)))
|
| (LetPrim (v1 (Constant (String "")))
|
| - (LetCont ((k0 (v2)
|
| - (InvokeContinuation return (v2))))
|
| + (LetCont (k0 (v2)
|
| + (InvokeContinuation return (v2)))
|
| (InvokeMethod v0 ^ (v1) k0)))))
|
| '''),
|
|
|
| @@ -526,8 +526,8 @@ main() {
|
| (FunctionDefinition main () return ()
|
| (LetPrim (v0 (Constant (Int 0)))
|
| (LetPrim (v1 (Constant (String "")))
|
| - (LetCont ((k0 (v2)
|
| - (InvokeContinuation return (v2))))
|
| + (LetCont (k0 (v2)
|
| + (InvokeContinuation return (v2)))
|
| (InvokeMethod v0 == (v1) k0)))))
|
| '''),
|
|
|
| @@ -539,16 +539,16 @@ main() {
|
| (FunctionDefinition main () return ()
|
| (LetPrim (v0 (Constant (Int 0)))
|
| (LetPrim (v1 (Constant (String "")))
|
| - (LetCont ((k0 (v2)
|
| - (LetCont ((k1 (v3)
|
| - (InvokeContinuation return (v3))))
|
| - (LetCont ((k2 ()
|
| + (LetCont (k0 (v2)
|
| + (LetCont (k1 (v3)
|
| + (InvokeContinuation return (v3)))
|
| + (LetCont (k2 ()
|
| (LetPrim (v4 (Constant (Bool false)))
|
| (InvokeContinuation k1 (v4))))
|
| - (k3 ()
|
| - (LetPrim (v5 (Constant (Bool true)))
|
| - (InvokeContinuation k1 (v5)))))
|
| - (Branch (IsTrue v2) k2 k3)))))
|
| + (LetCont (k3 ()
|
| + (LetPrim (v5 (Constant (Bool true)))
|
| + (InvokeContinuation k1 (v5))))
|
| + (Branch (IsTrue v2) k2 k3)))))
|
| (InvokeMethod v0 == (v1) k0)))))
|
| '''),
|
|
|
| @@ -559,21 +559,21 @@ main() {
|
| ''', '''
|
| (FunctionDefinition main () return ()
|
| (LetPrim (v0 (Constant (Int 0)))
|
| - (LetCont ((k0 (v1)
|
| - (InvokeContinuation return (v1))))
|
| - (LetCont ((k1 ()
|
| + (LetCont (k0 (v1)
|
| + (InvokeContinuation return (v1)))
|
| + (LetCont (k1 ()
|
| (LetPrim (v2 (Constant (String "")))
|
| - (LetCont ((k2 ()
|
| + (LetCont (k2 ()
|
| (LetPrim (v3 (Constant (Bool true)))
|
| (InvokeContinuation k0 (v3))))
|
| - (k3 ()
|
| - (LetPrim (v4 (Constant (Bool false)))
|
| - (InvokeContinuation k0 (v4)))))
|
| - (Branch (IsTrue v2) k2 k3))))
|
| - (k4 ()
|
| - (LetPrim (v5 (Constant (Bool false)))
|
| - (InvokeContinuation k0 (v5)))))
|
| - (Branch (IsTrue v0) k1 k4)))))
|
| + (LetCont (k3 ()
|
| + (LetPrim (v4 (Constant (Bool false)))
|
| + (InvokeContinuation k0 (v4))))
|
| + (Branch (IsTrue v2) k2 k3)))))
|
| + (LetCont (k4 ()
|
| + (LetPrim (v5 (Constant (Bool false)))
|
| + (InvokeContinuation k0 (v5))))
|
| + (Branch (IsTrue v0) k1 k4))))))
|
| '''),
|
|
|
| const TestSpec('''
|
| @@ -583,21 +583,21 @@ main() {
|
| ''', '''
|
| (FunctionDefinition main () return ()
|
| (LetPrim (v0 (Constant (Int 0)))
|
| - (LetCont ((k0 (v1)
|
| - (InvokeContinuation return (v1))))
|
| - (LetCont ((k1 ()
|
| + (LetCont (k0 (v1)
|
| + (InvokeContinuation return (v1)))
|
| + (LetCont (k1 ()
|
| (LetPrim (v2 (Constant (Bool true)))
|
| (InvokeContinuation k0 (v2))))
|
| - (k2 ()
|
| - (LetPrim (v3 (Constant (String "")))
|
| - (LetCont ((k3 ()
|
| - (LetPrim (v4 (Constant (Bool true)))
|
| - (InvokeContinuation k0 (v4))))
|
| - (k4 ()
|
| - (LetPrim (v5 (Constant (Bool false)))
|
| - (InvokeContinuation k0 (v5)))))
|
| - (Branch (IsTrue v3) k3 k4)))))
|
| - (Branch (IsTrue v0) k1 k2)))))
|
| + (LetCont (k2 ()
|
| + (LetPrim (v3 (Constant (String "")))
|
| + (LetCont (k3 ()
|
| + (LetPrim (v4 (Constant (Bool true)))
|
| + (InvokeContinuation k0 (v4))))
|
| + (LetCont (k4 ()
|
| + (LetPrim (v5 (Constant (Bool false)))
|
| + (InvokeContinuation k0 (v5))))
|
| + (Branch (IsTrue v3) k3 k4)))))
|
| + (Branch (IsTrue v0) k1 k2))))))
|
| '''),
|
|
|
| const TestSpec('''
|
| @@ -609,10 +609,10 @@ main() {
|
| (LetPrim (v0 (Constant (Int 0)))
|
| (LetPrim (v1 (Constant (String "")))
|
| (LetPrim (v2 (Constant (Int 2)))
|
| - (LetCont ((k0 (v3)
|
| - (LetCont ((k1 (v4)
|
| - (InvokeContinuation return (v4))))
|
| - (InvokeMethod v0 + (v3) k1))))
|
| + (LetCont (k0 (v3)
|
| + (LetCont (k1 (v4)
|
| + (InvokeContinuation return (v4)))
|
| + (InvokeMethod v0 + (v3) k1)))
|
| (InvokeMethod v1 * (v2) k0))))))
|
| '''),
|
|
|
| @@ -624,11 +624,11 @@ main() {
|
| (FunctionDefinition main () return ()
|
| (LetPrim (v0 (Constant (Int 0)))
|
| (LetPrim (v1 (Constant (String "")))
|
| - (LetCont ((k0 (v2)
|
| + (LetCont (k0 (v2)
|
| (LetPrim (v3 (Constant (Int 2)))
|
| - (LetCont ((k1 (v4)
|
| - (InvokeContinuation return (v4))))
|
| - (InvokeMethod v2 + (v3) k1)))))
|
| + (LetCont (k1 (v4)
|
| + (InvokeContinuation return (v4)))
|
| + (InvokeMethod v2 + (v3) k1))))
|
| (InvokeMethod v0 * (v1) k0)))))
|
| '''),
|
| ]),
|
| @@ -642,17 +642,17 @@ main(a) {
|
| }
|
| ''', '''
|
| (FunctionDefinition main (a) return ()
|
| - (LetCont ((k0 ()
|
| + (LetCont (k0 ()
|
| (LetPrim (v0 (Constant (Null)))
|
| - (InvokeContinuation return (v0)))))
|
| - (LetCont ((k1 ()
|
| + (InvokeContinuation return (v0))))
|
| + (LetCont (k1 ()
|
| (LetPrim (v1 (Constant (Int 0)))
|
| - (LetCont ((k2 (v2)
|
| - (InvokeContinuation k0 ())))
|
| + (LetCont (k2 (v2)
|
| + (InvokeContinuation k0 ()))
|
| (InvokeStatic print (v1) k2))))
|
| - (k3 ()
|
| - (InvokeContinuation k0 ())))
|
| - (Branch (IsTrue a) k1 k3))))
|
| + (LetCont (k3 ()
|
| + (InvokeContinuation k0 ()))
|
| + (Branch (IsTrue a) k1 k3)))))
|
| '''),
|
|
|
| const TestSpec('''
|
| @@ -665,20 +665,20 @@ main(a) {
|
| }
|
| ''', '''
|
| (FunctionDefinition main (a) return ()
|
| - (LetCont ((k0 ()
|
| + (LetCont (k0 ()
|
| (LetPrim (v0 (Constant (Null)))
|
| - (InvokeContinuation return (v0)))))
|
| - (LetCont ((k1 ()
|
| + (InvokeContinuation return (v0))))
|
| + (LetCont (k1 ()
|
| (LetPrim (v1 (Constant (Int 0)))
|
| - (LetCont ((k2 (v2)
|
| - (InvokeContinuation k0 ())))
|
| + (LetCont (k2 (v2)
|
| + (InvokeContinuation k0 ()))
|
| (InvokeStatic print (v1) k2))))
|
| - (k3 ()
|
| - (LetPrim (v3 (Constant (Int 1)))
|
| - (LetCont ((k4 (v4)
|
| - (InvokeContinuation k0 ())))
|
| - (InvokeStatic print (v3) k4)))))
|
| - (Branch (IsTrue a) k1 k3))))
|
| + (LetCont (k3 ()
|
| + (LetPrim (v3 (Constant (Int 1)))
|
| + (LetCont (k4 (v4)
|
| + (InvokeContinuation k0 ()))
|
| + (InvokeStatic print (v3) k4))))
|
| + (Branch (IsTrue a) k1 k3)))))
|
| '''),
|
|
|
| const TestSpec('''
|
| @@ -692,23 +692,23 @@ main(a) {
|
| }
|
| ''', '''
|
| (FunctionDefinition main (a) return ()
|
| - (LetCont ((k0 ()
|
| + (LetCont (k0 ()
|
| (LetPrim (v0 (Constant (Null)))
|
| - (InvokeContinuation return (v0)))))
|
| - (LetCont ((k1 ()
|
| + (InvokeContinuation return (v0))))
|
| + (LetCont (k1 ()
|
| (LetPrim (v1 (Constant (Int 0)))
|
| - (LetCont ((k2 (v2)
|
| - (InvokeContinuation k0 ())))
|
| + (LetCont (k2 (v2)
|
| + (InvokeContinuation k0 ()))
|
| (InvokeStatic print (v1) k2))))
|
| - (k3 ()
|
| - (LetPrim (v3 (Constant (Int 1)))
|
| - (LetCont ((k4 (v4)
|
| - (LetPrim (v5 (Constant (Int 2)))
|
| - (LetCont ((k5 (v6)
|
| - (InvokeContinuation k0 ())))
|
| - (InvokeStatic print (v5) k5)))))
|
| - (InvokeStatic print (v3) k4)))))
|
| - (Branch (IsTrue a) k1 k3))))
|
| + (LetCont (k3 ()
|
| + (LetPrim (v3 (Constant (Int 1)))
|
| + (LetCont (k4 (v4)
|
| + (LetPrim (v5 (Constant (Int 2)))
|
| + (LetCont (k5 (v6)
|
| + (InvokeContinuation k0 ()))
|
| + (InvokeStatic print (v5) k5))))
|
| + (InvokeStatic print (v3) k4))))
|
| + (Branch (IsTrue a) k1 k3)))))
|
| '''),
|
| ]),
|
|
|
| @@ -719,19 +719,19 @@ main(a) {
|
| }
|
| ''', '''
|
| (FunctionDefinition main (a) return ()
|
| - (LetCont ((k0 (v0)
|
| - (InvokeContinuation return (v0))))
|
| - (LetCont ((k1 ()
|
| + (LetCont (k0 (v0)
|
| + (InvokeContinuation return (v0)))
|
| + (LetCont (k1 ()
|
| (LetPrim (v1 (Constant (Int 0)))
|
| - (LetCont ((k2 (v2)
|
| - (InvokeContinuation k0 (v2))))
|
| + (LetCont (k2 (v2)
|
| + (InvokeContinuation k0 (v2)))
|
| (InvokeStatic print (v1) k2))))
|
| - (k3 ()
|
| - (LetPrim (v3 (Constant (Int 1)))
|
| - (LetCont ((k4 (v4)
|
| - (InvokeContinuation k0 (v4))))
|
| - (InvokeStatic print (v3) k4)))))
|
| - (Branch (IsTrue a) k1 k3))))
|
| + (LetCont (k3 ()
|
| + (LetPrim (v3 (Constant (Int 1)))
|
| + (LetCont (k4 (v4)
|
| + (InvokeContinuation k0 (v4)))
|
| + (InvokeStatic print (v3) k4))))
|
| + (Branch (IsTrue a) k1 k3)))))
|
| '''),
|
| ]),
|
|
|
| @@ -761,13 +761,13 @@ main(a) {
|
| }
|
| ''', '''
|
| (FunctionDefinition main (a) return ()
|
| - (LetCont ((k0 ()
|
| + (LetCont (k0 ()
|
| (LetPrim (v0 (Constant (Int 0)))
|
| (InvokeContinuation return (v0))))
|
| - (k1 ()
|
| - (LetPrim (v1 (Constant (Int 2)))
|
| - (InvokeContinuation return (v1)))))
|
| - (Branch (IsTrue a) k0 k1)))
|
| + (LetCont (k1 ()
|
| + (LetPrim (v1 (Constant (Int 2)))
|
| + (InvokeContinuation return (v1))))
|
| + (Branch (IsTrue a) k0 k1))))
|
| '''),
|
|
|
| const TestSpec('''
|
| @@ -784,19 +784,19 @@ main(a) {
|
| }
|
| ''', '''
|
| (FunctionDefinition main (a) return ()
|
| - (LetCont ((k0 ()
|
| + (LetCont (k0 ()
|
| (LetPrim (v0 (Constant (Int 0)))
|
| - (LetCont ((k1 (v1)
|
| + (LetCont (k1 (v1)
|
| (LetPrim (v2 (Constant (Int 0)))
|
| - (InvokeContinuation return (v2)))))
|
| + (InvokeContinuation return (v2))))
|
| (InvokeStatic print (v0) k1))))
|
| - (k2 ()
|
| - (LetPrim (v3 (Constant (Int 2)))
|
| - (LetCont ((k3 (v4)
|
| - (LetPrim (v5 (Constant (Int 2)))
|
| - (InvokeContinuation return (v5)))))
|
| - (InvokeStatic print (v3) k3)))))
|
| - (Branch (IsTrue a) k0 k2)))
|
| + (LetCont (k2 ()
|
| + (LetPrim (v3 (Constant (Int 2)))
|
| + (LetCont (k3 (v4)
|
| + (LetPrim (v5 (Constant (Int 2)))
|
| + (InvokeContinuation return (v5))))
|
| + (InvokeStatic print (v3) k3))))
|
| + (Branch (IsTrue a) k0 k2))))
|
| '''),
|
| ]),
|
|
|
| @@ -807,9 +807,9 @@ main(a) {
|
| }
|
| ''', '''
|
| (FunctionDefinition main (a) return ()
|
| - (LetCont ((k0 (v0)
|
| + (LetCont (k0 (v0)
|
| (LetPrim (v1 (Constant (Null)))
|
| - (InvokeContinuation return (v1)))))
|
| + (InvokeContinuation return (v1))))
|
| (InvokeConstructor Object () k0)))
|
| '''),
|
|
|
| @@ -820,9 +820,9 @@ main(a) {
|
| ''', '''
|
| (FunctionDefinition main (a) return ()
|
| (LetPrim (v0 (Constant (String "")))
|
| - (LetCont ((k0 (v1)
|
| + (LetCont (k0 (v1)
|
| (LetPrim (v2 (Constant (Null)))
|
| - (InvokeContinuation return (v2)))))
|
| + (InvokeContinuation return (v2))))
|
| (InvokeConstructor Deprecated (v0) k0))))
|
| '''),
|
| ]),
|
| @@ -943,14 +943,14 @@ main() {
|
| }
|
| ''', '''
|
| (FunctionDefinition main () return ()
|
| - (LetCont ((rec k0 ()
|
| + (LetCont* (k0 ()
|
| (LetPrim (v0 (Constant (Bool true)))
|
| - (LetCont ((k1 ()
|
| + (LetCont (k1 ()
|
| (LetPrim (v1 (Constant (Null)))
|
| (InvokeContinuation return (v1))))
|
| - (k2 ()
|
| - (InvokeContinuation* k0 ())))
|
| - (Branch (IsTrue v0) k2 k1)))))
|
| + (LetCont (k2 ()
|
| + (InvokeContinuation* k0 ()))
|
| + (Branch (IsTrue v0) k2 k1)))))
|
| (InvokeContinuation k0 ())))
|
| '''),
|
|
|
| @@ -963,21 +963,21 @@ main() {
|
| ''', '''
|
| (FunctionDefinition main () return ()
|
| (LetPrim (v0 (Constant (Int 0)))
|
| - (LetCont ((rec k0 (v1)
|
| + (LetCont* (k0 (v1)
|
| (LetPrim (v2 (Constant (Int 10)))
|
| - (LetCont ((k1 (v3)
|
| - (LetCont ((k2 ()
|
| + (LetCont (k1 (v3)
|
| + (LetCont (k2 ()
|
| (LetPrim (v4 (Constant (Null)))
|
| (InvokeContinuation return (v4))))
|
| - (k3 ()
|
| - (LetCont ((k4 (v5)
|
| - (LetPrim (v6 (Constant (Int 1)))
|
| - (LetCont ((k5 (v7)
|
| - (InvokeContinuation* k0 (v7))))
|
| - (InvokeMethod v1 + (v6) k5)))))
|
| - (InvokeStatic print (v1) k4))))
|
| - (Branch (IsTrue v3) k3 k2))))
|
| - (InvokeMethod v1 < (v2) k1)))))
|
| + (LetCont (k3 ()
|
| + (LetCont (k4 (v5)
|
| + (LetPrim (v6 (Constant (Int 1)))
|
| + (LetCont (k5 (v7)
|
| + (InvokeContinuation* k0 (v7)))
|
| + (InvokeMethod v1 + (v6) k5))))
|
| + (InvokeStatic print (v1) k4)))
|
| + (Branch (IsTrue v3) k3 k2))))
|
| + (InvokeMethod v1 < (v2) k1))))
|
| (InvokeContinuation k0 (v0)))))
|
| '''),
|
|
|
| @@ -990,21 +990,21 @@ main(i) {
|
| ''', '''
|
| (FunctionDefinition main (i) return ()
|
| (LetPrim (v0 (Constant (Int 0)))
|
| - (LetCont ((rec k0 (v1)
|
| + (LetCont* (k0 (v1)
|
| (LetPrim (v2 (Constant (Int 10)))
|
| - (LetCont ((k1 (v3)
|
| - (LetCont ((k2 ()
|
| + (LetCont (k1 (v3)
|
| + (LetCont (k2 ()
|
| (LetPrim (v4 (Constant (Null)))
|
| (InvokeContinuation return (v4))))
|
| - (k3 ()
|
| - (LetCont ((k4 (v5)
|
| - (LetPrim (v6 (Constant (Int 1)))
|
| - (LetCont ((k5 (v7)
|
| - (InvokeContinuation* k0 (v7))))
|
| - (InvokeMethod v1 + (v6) k5)))))
|
| - (InvokeStatic print (v1) k4))))
|
| - (Branch (IsTrue v3) k3 k2))))
|
| - (InvokeMethod v1 < (v2) k1)))))
|
| + (LetCont (k3 ()
|
| + (LetCont (k4 (v5)
|
| + (LetPrim (v6 (Constant (Int 1)))
|
| + (LetCont (k5 (v7)
|
| + (InvokeContinuation* k0 (v7)))
|
| + (InvokeMethod v1 + (v6) k5))))
|
| + (InvokeStatic print (v1) k4)))
|
| + (Branch (IsTrue v3) k3 k2))))
|
| + (InvokeMethod v1 < (v2) k1))))
|
| (InvokeContinuation k0 (v0)))))
|
| '''),
|
| ]),
|
| @@ -1016,14 +1016,14 @@ main() {
|
| }
|
| ''', '''
|
| (FunctionDefinition main () return ()
|
| - (LetCont ((rec k0 ()
|
| + (LetCont* (k0 ()
|
| (LetPrim (v0 (Constant (Bool true)))
|
| - (LetCont ((k1 ()
|
| + (LetCont (k1 ()
|
| (LetPrim (v1 (Constant (Null)))
|
| (InvokeContinuation return (v1))))
|
| - (k2 ()
|
| - (InvokeContinuation* k0 ())))
|
| - (Branch (IsTrue v0) k2 k1)))))
|
| + (LetCont (k2 ()
|
| + (InvokeContinuation* k0 ()))
|
| + (Branch (IsTrue v0) k2 k1)))))
|
| (InvokeContinuation k0 ())))
|
| '''),
|
|
|
| @@ -1038,21 +1038,21 @@ main() {
|
| ''', '''
|
| (FunctionDefinition main () return ()
|
| (LetPrim (v0 (Constant (Int 0)))
|
| - (LetCont ((rec k0 (v1)
|
| + (LetCont* (k0 (v1)
|
| (LetPrim (v2 (Constant (Int 10)))
|
| - (LetCont ((k1 (v3)
|
| - (LetCont ((k2 ()
|
| + (LetCont (k1 (v3)
|
| + (LetCont (k2 ()
|
| (LetPrim (v4 (Constant (Null)))
|
| (InvokeContinuation return (v4))))
|
| - (k3 ()
|
| - (LetCont ((k4 (v5)
|
| - (LetPrim (v6 (Constant (Int 1)))
|
| - (LetCont ((k5 (v7)
|
| - (InvokeContinuation* k0 (v7))))
|
| - (InvokeMethod v1 + (v6) k5)))))
|
| - (InvokeStatic print (v1) k4))))
|
| - (Branch (IsTrue v3) k3 k2))))
|
| - (InvokeMethod v1 < (v2) k1)))))
|
| + (LetCont (k3 ()
|
| + (LetCont (k4 (v5)
|
| + (LetPrim (v6 (Constant (Int 1)))
|
| + (LetCont (k5 (v7)
|
| + (InvokeContinuation* k0 (v7)))
|
| + (InvokeMethod v1 + (v6) k5))))
|
| + (InvokeStatic print (v1) k4)))
|
| + (Branch (IsTrue v3) k3 k2))))
|
| + (InvokeMethod v1 < (v2) k1))))
|
| (InvokeContinuation k0 (v0)))))
|
| '''),
|
| ]),
|
| @@ -1064,8 +1064,8 @@ main(a) {
|
| }
|
| ''', '''
|
| (FunctionDefinition main (a) return ()
|
| - (LetCont ((k0 (v0)
|
| - (InvokeContinuation return (v0))))
|
| + (LetCont (k0 (v0)
|
| + (InvokeContinuation return (v0)))
|
| (TypeOperator is a String k0)))
|
| '''),
|
|
|
| @@ -1075,8 +1075,8 @@ main(a) {
|
| }
|
| ''', '''
|
| (FunctionDefinition main (a) return ()
|
| - (LetCont ((k0 (v0)
|
| - (InvokeContinuation return (v0))))
|
| + (LetCont (k0 (v0)
|
| + (InvokeContinuation return (v0)))
|
| (TypeOperator is a List<String> k0)))
|
| '''),
|
|
|
| @@ -1086,8 +1086,8 @@ main(a) {
|
| }
|
| ''', '''
|
| (FunctionDefinition main (a) return ()
|
| - (LetCont ((k0 (v0)
|
| - (InvokeContinuation return (v0))))
|
| + (LetCont (k0 (v0)
|
| + (InvokeContinuation return (v0)))
|
| (TypeOperator is a Comparator<String> k0)))
|
| '''),
|
|
|
| @@ -1097,16 +1097,16 @@ main(a) {
|
| }
|
| ''', '''
|
| (FunctionDefinition main (a) return ()
|
| - (LetCont ((k0 (v0)
|
| - (LetCont ((k1 (v1)
|
| - (InvokeContinuation return (v1))))
|
| - (LetCont ((k2 ()
|
| + (LetCont (k0 (v0)
|
| + (LetCont (k1 (v1)
|
| + (InvokeContinuation return (v1)))
|
| + (LetCont (k2 ()
|
| (LetPrim (v2 (Constant (Bool false)))
|
| (InvokeContinuation k1 (v2))))
|
| - (k3 ()
|
| - (LetPrim (v3 (Constant (Bool true)))
|
| - (InvokeContinuation k1 (v3)))))
|
| - (Branch (IsTrue v0) k2 k3)))))
|
| + (LetCont (k3 ()
|
| + (LetPrim (v3 (Constant (Bool true)))
|
| + (InvokeContinuation k1 (v3))))
|
| + (Branch (IsTrue v0) k2 k3)))))
|
| (TypeOperator is a String k0)))
|
| '''),
|
|
|
| @@ -1116,8 +1116,8 @@ main(a) {
|
| }
|
| ''', '''
|
| (FunctionDefinition main (a) return ()
|
| - (LetCont ((k0 (v0)
|
| - (InvokeContinuation return (v0))))
|
| + (LetCont (k0 (v0)
|
| + (InvokeContinuation return (v0)))
|
| (TypeOperator as a String k0)))
|
| '''),
|
| ]),
|
| @@ -1133,22 +1133,22 @@ main(a) {
|
| }
|
| ''', '''
|
| (FunctionDefinition main (a) return ()
|
| - (LetCont ((k0 (v0)
|
| - (LetCont ((rec k1 (v1)
|
| - (LetCont ((k2 (v2)
|
| - (LetCont ((k3 ()
|
| + (LetCont (k0 (v0)
|
| + (LetCont* (k1 (v1)
|
| + (LetCont (k2 (v2)
|
| + (LetCont (k3 ()
|
| (LetPrim (v3 (Constant (Null)))
|
| (InvokeContinuation return (v3))))
|
| - (k4 ()
|
| - (LetPrim (v4 (Constant (Null)))
|
| - (LetCont ((k5 (v5)
|
| - (LetCont ((k6 (v6)
|
| - (InvokeContinuation* k1 (v1))))
|
| - (InvokeStatic print (v5) k6))))
|
| - (InvokeMethod v0 current () k5)))))
|
| - (Branch (IsTrue v2) k4 k3))))
|
| - (InvokeMethod v0 moveNext () k2))))
|
| - (InvokeContinuation k1 (a)))))
|
| + (LetCont (k4 ()
|
| + (LetPrim (v4 (Constant (Null)))
|
| + (LetCont (k5 (v5)
|
| + (LetCont (k6 (v6)
|
| + (InvokeContinuation* k1 (v1)))
|
| + (InvokeStatic print (v5) k6)))
|
| + (InvokeMethod v0 current () k5))))
|
| + (Branch (IsTrue v2) k4 k3))))
|
| + (InvokeMethod v0 moveNext () k2)))
|
| + (InvokeContinuation k1 (a))))
|
| (InvokeMethod a iterator () k0)))
|
| '''),
|
|
|
| @@ -1162,25 +1162,25 @@ main(a) {
|
| }
|
| ''', '''
|
| (FunctionDefinition main (a) return ()
|
| - (LetCont ((k0 (v0)
|
| - (LetCont ((rec k1 (v1)
|
| - (LetCont ((k2 (v2)
|
| - (LetCont ((k3 ()
|
| + (LetCont (k0 (v0)
|
| + (LetCont* (k1 (v1)
|
| + (LetCont (k2 (v2)
|
| + (LetCont (k3 ()
|
| (LetPrim (v3 (Constant (Null)))
|
| (InvokeContinuation return (v3))))
|
| - (k4 ()
|
| - (LetPrim (v4 (Constant (Null)))
|
| - (LetCont ((k5 (v5)
|
| - (LetCont ((k6 (v6)
|
| - (LetPrim (v7 (Constant (Int 0)))
|
| - (LetCont ((k7 (v8)
|
| - (InvokeContinuation* k1 (v1))))
|
| - (InvokeStatic print (v7) k7)))))
|
| - (InvokeStatic print (v5) k6))))
|
| - (InvokeMethod v0 current () k5)))))
|
| - (Branch (IsTrue v2) k4 k3))))
|
| - (InvokeMethod v0 moveNext () k2))))
|
| - (InvokeContinuation k1 (a)))))
|
| + (LetCont (k4 ()
|
| + (LetPrim (v4 (Constant (Null)))
|
| + (LetCont (k5 (v5)
|
| + (LetCont (k6 (v6)
|
| + (LetPrim (v7 (Constant (Int 0)))
|
| + (LetCont (k7 (v8)
|
| + (InvokeContinuation* k1 (v1)))
|
| + (InvokeStatic print (v7) k7))))
|
| + (InvokeStatic print (v5) k6)))
|
| + (InvokeMethod v0 current () k5))))
|
| + (Branch (IsTrue v2) k4 k3))))
|
| + (InvokeMethod v0 moveNext () k2)))
|
| + (InvokeContinuation k1 (a))))
|
| (InvokeMethod a iterator () k0)))
|
| '''),
|
|
|
| @@ -1194,21 +1194,21 @@ main(a) {
|
| ''', '''
|
| (FunctionDefinition main (a) return ()
|
| (LetPrim (v0 (Constant (Null)))
|
| - (LetCont ((k0 (v1)
|
| - (LetCont ((rec k1 (v2 v3)
|
| - (LetCont ((k2 (v4)
|
| - (LetCont ((k3 ()
|
| + (LetCont (k0 (v1)
|
| + (LetCont* (k1 (v2 v3)
|
| + (LetCont (k2 (v4)
|
| + (LetCont (k3 ()
|
| (LetPrim (v5 (Constant (Null)))
|
| (InvokeContinuation return (v5))))
|
| - (k4 ()
|
| - (LetCont ((k5 (v6)
|
| - (LetCont ((k6 (v7)
|
| - (InvokeContinuation* k1 (v2 v6))))
|
| - (InvokeStatic print (v6) k6))))
|
| - (InvokeMethod v1 current () k5))))
|
| - (Branch (IsTrue v4) k4 k3))))
|
| - (InvokeMethod v1 moveNext () k2))))
|
| - (InvokeContinuation k1 (a v0)))))
|
| + (LetCont (k4 ()
|
| + (LetCont (k5 (v6)
|
| + (LetCont (k6 (v7)
|
| + (InvokeContinuation* k1 (v2 v6)))
|
| + (InvokeStatic print (v6) k6)))
|
| + (InvokeMethod v1 current () k5)))
|
| + (Branch (IsTrue v4) k4 k3))))
|
| + (InvokeMethod v1 moveNext () k2)))
|
| + (InvokeContinuation k1 (a v0))))
|
| (InvokeMethod a iterator () k0))))
|
| '''),
|
| ]),
|
| @@ -1225,8 +1225,8 @@ main(a) {
|
| (FunctionDefinition local () return ()
|
| (LetPrim (v1 (Constant (Null)))
|
| (InvokeContinuation return (v1))))))
|
| - (LetCont ((k0 (v2)
|
| - (InvokeContinuation return (v2))))
|
| + (LetCont (k0 (v2)
|
| + (InvokeContinuation return (v2)))
|
| (InvokeMethod v0 call () k0))))
|
| '''),
|
|
|
| @@ -1242,8 +1242,8 @@ main(a) {
|
| (FunctionDefinition local () return ()
|
| (LetPrim (v1 (Constant (Null)))
|
| (InvokeContinuation return (v1))))))
|
| - (LetCont ((k0 (v2)
|
| - (InvokeContinuation return (v2))))
|
| + (LetCont (k0 (v2)
|
| + (InvokeContinuation return (v2)))
|
| (InvokeMethod v0 call () k0))))
|
| '''),
|
|
|
| @@ -1257,8 +1257,8 @@ main(a) {
|
| (FunctionDefinition () return ()
|
| (LetPrim (v1 (Constant (Null)))
|
| (InvokeContinuation return (v1))))))
|
| - (LetCont ((k0 (v2)
|
| - (InvokeContinuation return (v2))))
|
| + (LetCont (k0 (v2)
|
| + (InvokeContinuation return (v2)))
|
| (InvokeMethod v0 call () k0))))
|
| '''),
|
|
|
| @@ -1269,23 +1269,23 @@ main(a) {
|
| }
|
| ''', '''
|
| (FunctionDefinition main (a) return ()
|
| - (LetCont ((k0 (v0)
|
| - (LetCont ((k1 (v1)
|
| - (InvokeContinuation return (v1))))
|
| - (InvokeMethod v0 call () k1))))
|
| - (LetCont ((k2 ()
|
| + (LetCont (k0 (v0)
|
| + (LetCont (k1 (v1)
|
| + (InvokeContinuation return (v1)))
|
| + (InvokeMethod v0 call () k1)))
|
| + (LetCont (k2 ()
|
| (LetPrim (v2 (CreateFunction
|
| (FunctionDefinition () return ()
|
| (LetPrim (v3 (Constant (Int 0)))
|
| (InvokeContinuation return (v3))))))
|
| (InvokeContinuation k0 (v2))))
|
| - (k3 ()
|
| - (LetPrim (v4 (CreateFunction
|
| - (FunctionDefinition () return ()
|
| - (LetPrim (v5 (Constant (Int 1)))
|
| - (InvokeContinuation return (v5))))))
|
| - (InvokeContinuation k0 (v4)))))
|
| - (Branch (IsTrue a) k2 k3))))
|
| + (LetCont (k3 ()
|
| + (LetPrim (v4 (CreateFunction
|
| + (FunctionDefinition () return ()
|
| + (LetPrim (v5 (Constant (Int 1)))
|
| + (InvokeContinuation return (v5))))))
|
| + (InvokeContinuation k0 (v4))))
|
| + (Branch (IsTrue a) k2 k3)))))
|
| '''),
|
| ]),
|
|
|
| @@ -1298,8 +1298,8 @@ main(args) {
|
| ''', const {
|
| 'main': '''
|
| (FunctionDefinition main (args) return ()
|
| - (LetCont ((k0 (v0)
|
| - (InvokeContinuation return (v0))))
|
| + (LetCont (k0 (v0)
|
| + (InvokeContinuation return (v0)))
|
| (InvokeStatic field () k0)))
|
| ''',
|
| 'field': '''
|
| @@ -1314,8 +1314,8 @@ main(args) {
|
| ''', const {
|
| 'main': '''
|
| (FunctionDefinition main (args) return ()
|
| - (LetCont ((k0 (v0)
|
| - (InvokeContinuation return (v0))))
|
| + (LetCont (k0 (v0)
|
| + (InvokeContinuation return (v0)))
|
| (InvokeStatic field () k0)))
|
| ''',
|
| 'field': '''
|
| @@ -1332,8 +1332,8 @@ main(args) {
|
| ''', const {
|
| 'main': '''
|
| (FunctionDefinition main (args) return ()
|
| - (LetCont ((k0 (v0)
|
| - (InvokeContinuation return (v0))))
|
| + (LetCont (k0 (v0)
|
| + (InvokeContinuation return (v0)))
|
| (InvokeStatic field () k0)))
|
| ''',
|
| 'field': '''
|
| @@ -1350,12 +1350,12 @@ main(args) {
|
| }
|
| ''', '''
|
| (FunctionDefinition main (args) return ()
|
| - (LetCont ((k0 (v0)
|
| - (LetCont ((k1 (v1)
|
| - (LetCont ((k2 (v2)
|
| - (InvokeContinuation return (v2))))
|
| - (InvokeStatic field () k2))))
|
| - (InvokeStatic field (v0) k1))))
|
| + (LetCont (k0 (v0)
|
| + (LetCont (k1 (v1)
|
| + (LetCont (k2 (v2)
|
| + (InvokeContinuation return (v2)))
|
| + (InvokeStatic field () k2)))
|
| + (InvokeStatic field (v0) k1)))
|
| (InvokeMethod args length () k0)))
|
| '''),
|
| ]),
|
| @@ -1369,17 +1369,17 @@ main(x,foo) {
|
| }
|
| ''', '''
|
| (FunctionDefinition main (x foo) return (foo)
|
| - (LetCont ((k0 (v0)
|
| + (LetCont (k0 (v0)
|
| (LetPrim (v1 (CreateFunction
|
| (FunctionDefinition getFoo () return ()
|
| (LetPrim (v2 (GetClosureVariable foo))
|
| (InvokeContinuation return (v2))))))
|
| - (LetCont ((k1 (v3)
|
| - (LetCont ((k2 (v4)
|
| + (LetCont (k1 (v3)
|
| + (LetCont (k2 (v4)
|
| (LetPrim (v5 (Constant (Null)))
|
| - (InvokeContinuation return (v5)))))
|
| - (InvokeStatic print (v3) k2))))
|
| - (InvokeMethod v1 call () k1)))))
|
| + (InvokeContinuation return (v5))))
|
| + (InvokeStatic print (v3) k2)))
|
| + (InvokeMethod v1 call () k1))))
|
| (InvokeStatic print (x) k0)))
|
| ''', skipInAnalyzerFrontend: true)
|
| ]),
|
|
|