GHC 7.10.2 प्रकार परिवारों विस्तार

Question

मैं जब GHC 7.10.2 में निम्न उदाहरण की कोशिश कर रहा parse error on input ‘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 के अनुसार, प्रकार परिवारों उपलब्ध हैं।

मेरा जीएचसी 7.10.2 और कैबल 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 

[प्रकार परिवार के रूप में वर्णित विस्तार से काम नहीं करता] (की