型推論回りのバグをいくつか見ていったときに、どうも、BindGroup を真面目に構成していないのが原因っぽい不具合にぶつかったので、そこに取り組んでいた。
ほんとは、依存グラフを components に分割して、各々がひとつの BindGroup になるようにするのが正しいのだが、そこはさぼって、ひとつの BindGroup につっこんでいる。 これは、let の構造がひとつの BindGroup しか持たないようになってたので、きっと型推論自体はうまくいくのだろうと思ったので。きっと、きちんと Group わけしたほうが、効率良いんだろう。
で、topological sort は Data.Graph を使うことにして、なんとか実装。
そこで、tqd_t.hs をくわせると、qual type の扱いがまだってところにぶつかったところ。
今日は、ここまで。
まだ、いちばん単純な例だけど、最初のサンプルをコンパイルして、実行できたのだ！ めでたい