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 

Same question was asked two years ago about GHC 7.4.2。

我使用的是GHC7.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 

[類型系列如所描述的擴展不工作（的