Concurrent Clean : CleanJ : ABCマシン : Real型とB-Stack

B-Stack上でReal型を取り扱う際に、スタックのインデックスがずれる現象が起こっていて、悩んでいたのだけれど、原因がわかりました。
CleanのRealはDoubleなのですが、これがB-Stack上では２セル分に相当するんですね。考えてみればあたりまえなのだけど、気づくのに結構時間がかかってしまった。
ということで、Real型の演算は、スタックトップを２セルずつ移動させるように修正すればＯＫ。

• • • -

修正しました。
動いた動いた。