- 2012-09-19 (Wed) 23:31
- 一般
Coq 8.4 用のはバグってる？ 生成される関数の本体であるラムダ式が型引数を通常の引数と同様に受け取ろうとしているような気が…… 関数の型が合わないという文句を言われる．どうやら Haskell を吐いても Ocaml を吐いてもおかしいらしい．
とりあえず 8.3p12 用で我慢するか…… 別の部分が 8.4 の機能を使っている気がしなくもないのだけど大丈夫かな？
つか，１日に２回も coq をコンパイルすることになるとは．
- Newer: ことはじめ