ghci类的意外行为实例

我一直在读布莱恩·奥沙利文(Bryan O’Sullivan)和合作伙伴的《真实世界哈斯克尔》(Real World Haskell),在Windows下,我发现了GHCi 7.8.3版的意外“松懈”。 我“:加载”了以下内容-

module JSONModule   where

data JValue = JNumber Double
           | JBool Bool
             deriving ( Show, Eq, Ord )


class JSON a where
  toJValue :: a -> JValue
  fromJValue :: JValue -> Either String  a


fromJBool (JBool b) = Right b
fromJBool _ = Left "not a JSON boolean"

instance JSON Double where
  toJValue = JNumber
  fromJValue = doubleToJValue id

instance JSON Bool where
  toJValue = JBool
  fromJValue = fromJBool

doubleToJValue :: (Double -> a) -> JValue -> Either String a
doubleToJValue f (JNumber v) = Right (f v)
doubleToJValue _ _ = Left "not a JSON number"

然后,在ghci中:

*JSONModule> :r
[1 of 1] Compiling JSONModule       ( JSONModule.hs, interpreted )
Ok, modules loaded: JSONModule.
*JSONModule> toJValue False
JBool False
*JSONModule> fromJValue it
Left "not a JSON number"

虽然这是真的,但这并不是我们所期望的。我想ghci应该告诉我放风筝,因为fromJValue有两个例子。 的确,如果我指定

fromJValue it :: Either String Bool

我得到了对错。问题似乎是双重价值。消除了JSON Double实例,并将JChar Char构造函数添加到JValue,以及JSON Char的相应实例,我从ghci得到了预期的“不明确”响应。 所以我认为有一个bug。 评论?谢谢