深追い日記． jhcが生成した手元のコードを gcc 2.95でコンパイルするにはもうひとつ障害があった．JHCはサンクを以下の構造体で管理するようだ： typedef struct node { fptr_t head; sptr_t rest[]; } A_MAYALIAS node_t; typedef struct dnode { what_t w…

Language.CはHaskell用の、C言語のソースコードを構文解析するライブラリ。 構文木はHaskellのデータとして操作可能で、これのおかげでC言語のコードを色々と操作できる。意味解析に役立ついくつかの補助関数も定義されているようだ(よく調べてない)。 やっ…