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

Question

我parse error on input ‘where’在GHC 7.10.2中尝试以下示例时得到:

{-# LANGUAGE TypeFamilies #-}

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

两年前有人问过GHC 7.4.2.

今年我用GHC 7.6.*(不记得最后一位数字)的类型家庭.这是GHC 7.10.2的问题吗？

根据用户指南,可以使用类型系列.

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

Answer 1

你不能混合这样的开放式和封闭式家庭语法,而且我不确定你从哪里得到这个想法.正确的语法是

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