haskell - GHC.Prim.Any 创建而不是自由变量 [在多态函数中]

这是一个错误吗？

{-# LANGUAGE NoMonomorphismRestriction #-}
import qualified Text.Parsec.Token as P
import Text.Parsec.Language (haskellDef)
(P.TokenParser { P.identifier = ident }) = P.makeTokenParser haskellDef

产生 ident 类型的 Text.Parsec.Prim.ParsecT String GHC.Prim.Any Data.Functor.Identity.Identity String ，而定义

haskell = P.makeTokenParser haskellDef
ident = P.identifier haskell

产生 Text.Parsec.Prim.ParsecT String u Data.Functor.Identity.Identity String 类型之一

编辑

ghci 中的行为并不相同，

infixl 4 <++>
(<++>) = liftM2 (++)

(P.TokenParser { P.identifier = ident }) = P.makeTokenParser haskellDef
suitable_macro = ident

parseMacro = many space *> suitable_macro

parseMacro' =
    try (string "{{" *> parseMacro <* string "}}")

parseAll = many (noneOf "{") <++>
    option "" (parseMacro' <|> (string "{" <++> parseAll))

然后，尝试运行它，

*Hz2.Preproc> parseTest parseAll "asdf{{b}}"

<interactive>:0:11:
    Couldn't match expected type `()' with actual type `GHC.Prim.Any'
    Expected type: Parsec String () a0
    Actual type: ParsecT
                    String GHC.Prim.Any Data.Functor.Identity.Identity [Char]
    In the first argument of `parseTest', namely `parseAll'
    In the expression: parseTest parseAll "asdf{{b}}"

最佳答案

并不真地;我相信这是符合报告的行为:模式中的完全多态类型变量被实例化为 Any 。然而，在 GHC 7.2 之后，这个 works like you'd expect (特别是看到最后的提交信息)。

至于 GHCi 行为，这是因为 GHCi 的 extended defaulting rules 默认全多态变量为 () 。

关于haskell - GHC.Prim.Any 创建而不是自由变量 [在多态函数中]，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/9072039/