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

Question

这是一个错误吗？

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

产生类型ident的{​​{1}}，而定义

Text.Parsec.Prim.ParsecT String GHC.Prim.Any Data.Functor.Identity.Identity String

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

类型之一

修改

ghci中的行为不一样，

Text.Parsec.Prim.ParsecT String u Data.Functor.Identity.Identity String

然后，尝试运行它，

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))

Answer 1

不是真的;我相信它符合报告的行为：模式中的完全多态类型变量被实例化为Any。但是，在GHC 7.2以后，这个works like you'd expect（特别参见最后的提交消息）。

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