(define-module gauche.partcont
  (export reset shift call/pc))
(select-module gauche.partcont)

(define %reset (with-module gauche.internal %apply-rec0))
(define %call/pc (with-module gauche.internal %call/pc))

(define-syntax reset
  (syntax-rules ()
    [(reset expr ...)
     (%reset (^[] expr ...))]))

(define (call/pc proc)
  (%call/pc (^k (proc (^ args (reset (apply k args)))))))

(define-syntax shift
  (syntax-rules ()
    [(shift var expr ...)
     (call/pc (^[var] expr ...))]))
