Понятно, спрошу там.

OCamlовские реализации Sheme они очень сильно ругали за отсутсвие call-cc.

???

call/cc есть в обоих реализациях.

[ivanhoe@censored: ~/work/ocs-1.0.1/src]$ rlwrap ./ocscm
(define test (lambda (lst)
  (call/cc (lambda (exit)
    (for-each (lambda (x)
      (if (negative? x) (exit x))) lst)))))
()
> (test '(1 2 -4 5))
-4
> (test '(1 2 0 5))
()
>
[ivanhoe@censored: ~/work/ocs-1.0.1/src]$ rlwrap schoca
Schoca Shell (Version 0.2.3) by Christoph Bauer

(define test (lambda (lst)
  (call/cc (lambda (exit)
    (for-each (lambda (x)
      (if (negative? x) (exit x))) lst)))))
==> test
? (test '(1 2 -4 5))
==> -4
? (test '(1 2 0 5))
==> #unspecified
?