#lang plait
;; (test ? 3)
(test (let/cc k 3) 3)
;; (test ? 3)
(test (let/cc k (k 3)) 3)
;; (test (+ 1 ?) 4 )
(test (+ 1 (let/cc k (k 3))) 4)
;; (test ? 3)
(test (let/cc k (+ 2 (k 3))) 3)
;; (test (+ 1 ?) 4)
(test (+ 1 (let/cc k (+ 2 (k 3)))) 4)
#lang plait
;; (test ? 3)
(test (let/cc k 3) 3)
;; (test ? 3)
(test (let/cc k (k 3)) 3)
;; (test (+ 1 ?) 4 )
(test (+ 1 (let/cc k (k 3))) 4)
;; (test ? 3)
(test (let/cc k (+ 2 (k 3))) 3)
;; (test (+ 1 ?) 4)
(test (+ 1 (let/cc k (+ 2 (k 3)))) 4)