MIT Schemeの多値が多値じゃない問題

SECDV VMのインタプリタできた。後で何か書く。https://github.com/okuoku/yuni/commit/42b819b3ca09f716eb2f180d54065a4291e313e3 基本的にスムースに動いて後はヒープとかコンパイラを残すのみだけど、MIT Schemeの微妙な多値の実装に半日悩んだ。
MIT Schemeの多値、つまりcall-with-values手続きとvalues手続きはこのように実装されている。

• https://bitbucket.org/okuoku/yunibase-impl-stable/src/bc8678b5dff9690107cc0d58c304b0a93c2a7187/mit-scheme-amd64/src/runtime/global.scm?at=master&fileviewer=file-view-default#global.scm-139

(define (values . objects)
  (lambda (receiver)
    (apply receiver objects)))

(define (call-with-values thunk receiver)
  ((thunk) receiver))

... 確かに、MIT-Schemeのドキュメントには、

• https://www.gnu.org/software/mit-scheme/documentation/mit-scheme-ref/Continuations.html#index-call_002dwith_002dvalues-1878

Thunk must return multiple values using the values procedure.

と有るのでこういう実装でも良いんだろうけど、大抵のScheme処理系は、

(call-with-values (lambda () 1)
                  (lambda (value) value))

のようにして、1値をvalues手続きを使わずに返すことは許している。MIT Schemeのこの制約がR5RS/R7RS的にオッケーなのかどうかはまだちゃんと調べていないが、yuniではとりあえず

• https://github.com/okuoku/yuni/commit/cf817c019a5937ff3dca8b83074a00146bb6e968

(define (call-with-values thunk receiver) ;; override
  ;; See src/runtime/global.scm for actual impl.
  (let ((t (thunk)))
   (cond
     ((procedure? t)
      (t receiver))
     (else
      (receiver t)))))

call-with-valuesを1値の場合の専用処理を加えた形にoverrideすることで対策した。当然コレではgenericにはダメで、多値を期待されたthunkが、手続きオブジェクトの1値を返す場合にうまく動かない。