これを書いている時点で、私は最新の GHC (7.9.20140608) と cabal (1.20.0.0) を実行していますが、attoparsec
失敗しているようです。
Data/Attoparsec/ByteString/Internal.hs:519:7:
Illegal equational constraint a_audv ~ (ByteString, t)
(Use GADTs or TypeFamilies to permit this)
In the context: (a_audv ~ (ByteString, t))
While checking the inferred type for ‘succ'’
In the expression:
let
succ' t' pos' more' a
= succ t' pos' more' (substring pos (pos' - pos) t', a)
in runParser p t pos more lose succ'
In the second argument of ‘($)’, namely
‘\ t pos more lose succ
-> let succ' t' pos' more' a = ...
in runParser p t pos more lose succ'’
言語拡張機能がありませんか? それとも、この問題はもう少しトリッキーでしょうか? これが私のcabalファイルです:http://lpaste.net/105329
これに関するどんな助けも信じられないほど素晴らしいでしょう:) Happy Hacking!