.record命令の d の扱いが間違っているのかもしれない。 Genericの方は置いておいて、.recordの d だけのテストを作って調査する必要があるかも。 - d の扱いは問題ないみたい。次のテストコードで確認。 :: R a = A a (R a) | B a !a !Int Start = (r1, dep…

技術書ばかり読んでいるのも疲れたので、気分転換に昔読みかけて放置していた本を取り出してみた。

A-Stackのインデックスがずれる箇所を特定した。 あとすこし！！ - メモ：l7, create, case.7 - もしかして、pushD_aは、A-StackではなくB-Stackに情報を積むのか？ - ビンゴっぽい。

どうやら、最後の砦は eq_desc だったらしい。 eq_descの第２引数の使い方を間違っていたようだ。 CodeGeneratorの対応する関数を見ると・・・ void code_eq_desc (char descriptor_name[],int arity,int a_offset) { INSTRUCTION_GRAPH graph_1,graph_2,gra…