haskell - ghc 7.10.2 类型系列扩展不起作用

Question

在 GHC 7.10.2 中尝试以下示例时，我遇到输入“where”解析错误:

{-# LANGUAGE TypeFamilies #-}

type family F a :: *
type instance where
  F (Maybe Int)  = Int
  F (Maybe Bool) = Bool
  F (Maybe a)    = String

Same question was asked two years ago about GHC 7.4.2 .

今年我使用了 GHC 7.6.* 的类型系列(不记得最后一位数字)。是 GHC 7.10.2 的问题吗？

根据the User's Guide ，类型系列可用。

我的 GHC 7.10.2 和 cabal 1.22.6.0 从 this PPA 安装.

Answer 1

你不能像这样混合开放和封闭类型族语法，我不确定你从哪里得到这个想法。正确的语法是

type family F a :: * where
  F (Maybe Int)  = Int
  F (Maybe Bool) = Bool
  F (Maybe a)    = String