Question

给定由幻像变量索引的GADT我可以使用独立派生来创建一些简单的实例

data Client
data Temporary
data Permanent

data Token ty where
  ClientToken :: Token Client
  TemporaryToken :: ByteString -> ByteString -> Token Temporary
  PermanentToken :: ByteString -> ByteString -> Token Permanent

deriving instance Eq (Token Client)
deriving instance Eq (Token Temporary)
deriving instance Eq (Token Permanent)

似乎在GHCi中完美运作

> ClientToken == ClientToken
True
> TemporaryToken "" "foo" == TemporaryToken "" "bar"
False

当我尝试编译时，我会收到警告。

src/Network/HTTP/Conduit/OAuth/Types/Credentials.hs:72:1:
    Couldn't match type `Client' with `Temporary'
    Inaccessible code in
      a pattern with constructor
        TemporaryToken :: S8.ByteString
                          -> S8.ByteString -> Token Temporary,
      in an equation for `=='
    In the pattern: TemporaryToken a1 a2
    In an equation for `==':
        == (TemporaryToken a1 a2) (TemporaryToken b1 b2)
          = (((a1 == b1)) && ((a2 == b2)))
    When typechecking the code for  `=='
      in a standalone derived instance for `Eq (Token Client)':
      To see the code I am typechecking, use -ddump-deriv
    In the instance declaration for `Eq (Token Client)'

这似乎是GADT派生代码的一小部分（re：Haskell Inaccessible code bug?和https://ghc.haskell.org/trac/ghc/ticket/8128）但是因为它似乎有正确的行为我想知道

我可以用一些-fno-warn-*标志关闭这些警告吗？并且，如果可能的话
这样做会产生任何问题吗？

Answer 1

我在GHC 7.6.3中测试了你的示例代码，至少在那里我得到了一个实际的编译错误而不是GHCi和编译时的警告。似乎自动实例派生并不足以实现它只需要将单个构造函数与给定的GADT匹配。

以下作品

data Client
data Temporary
data Permanent

data Token ty where
  ClientToken :: Token Client
  TemporaryToken :: ByteString -> ByteString -> Token Temporary
  PermanentToken :: ByteString -> ByteString -> Token Permanent

deriving instance Eq (Token ty)

但也许你真正的用例更复杂？

在GADT中为无法访问的代码启用“-fno-warn-”

1 个答案: