63

我有这个代码：

class SymbolSet tpe where
  data Symbol tpe :: *

data SSet tpe where
  Identity :: tpe -> SSet tpe
  And :: SSet tpe -> Symbol tpe -> SSet tpe

class HasElem a b where

instance (SymbolSet tpe) => HasElem (And (Identity tpe) s) s
instance (HasElem sset s) => HasElem (And sset s) s

这是在 GHC-7.4 中编译的。然而，在迁移到 GHC-7.6 时，它开始出现编译错误：

'And' of tpe `forall tpe. tpe -> Symbol * tpe -> SSet tpe' is not promotable

在挖掘文档时，我发现在GHC-7.6与GHC-7.4的“数据类型提升”页面中添加了一个新条款

我们不推广其构造函数是多态的、涉及约束或使用存在量化的数据类型。

我的问题是：

  1. 不推广此类建设者的理由是什么？
  2. 正确的做法是什么？
4

1 回答 1

1

你没有说你使用的是哪个版本的 GHC 7.6 或包含你有哪些扩展，所以我猜了一下。

这张票似乎回答了你的问题 1，虽然我自己并不完全理解这个问题。在您的特定示例中，我认为SSet不可推广，因为它的一个参数 ( Symbol tpe) 是一个关联类型，它带来了SymbolSet约束。

如果我Symbol离开班级，我们会提升类型，但是现在我们会遇到不匹配错误：

{-# LANGUAGE DataKinds , TypeFamilies , GADTs , MultiParamTypeClasses #-}
class SymbolSet tpe where
  -- data Symbol tpe :: *
data Symbol tpe :: *
-- ...

我可以通过添加种类签名来编译整个shebang HasElem：

{-# LANGUAGE DataKinds , TypeFamilies , GADTs , MultiParamTypeClasses, FlexibleInstances  #-}
class SymbolSet tpe where
-- MOVED OUT OF CLASS:
data Symbol tpe :: *

data SSet tpe where
  Identity :: tpe -> SSet tpe
  And :: SSet tpe -> Symbol tpe -> SSet tpe

-- ADDED KIND SIGNATURES:
class HasElem (a :: SSet *) (b :: Symbol *) where

instance (SymbolSet tpe) => HasElem (And (Identity tpe) s) s
instance (HasElem sset s) => HasElem (And sset s) s

我不太了解您的代码，因此可能对您不起作用。

于 2014-02-14T23:10:13.787 回答