- 2012-10-20 (Sat) 23:23
- 一般
Typeclass の eauto の深さ指定ができない．Typeclasses eauto := debug bfs 10 とかかくと 10 のところはピリオドだろと怒られる．うーん，書き方が悪いのか廃れたオプションがマニュアルにあるのか実装してないのにマニュアルにあるのか……
とりあえず，よくわからんけど無限ループしまくるのをどうにかして欲しい．デバッグも大変．すんごく微妙にインスタンスの優先度を設定したら無限ループを回避できたけど，もうちょっと頭良く探索してくれないかなぁ．
つか，dfs と bfs の切り替えもできてないような？
- Newer: ことはじめ