मैं एक साक्षर हास्केल स्क्रिप्ट में जीएचसी एक्सटेंशन कैसे सक्षम कर सकता हूं?

Question

मैं एक साक्षर हास्केल स्क्रिप्ट पर काम कर रहा हूं जो एक ग्रामर डेटाटाइप को परिभाषित करता है जिसे मेरे मैक पर जीएचसीआई (वी। 7.8.3) में लोड किया जाना है। मैं KindSignatures और मेरी स्क्रिप्ट में GADTs बुलाया भाषा एक्सटेंशन को चालू करने की कोशिश कर रहा हूँ (मैं इन के साथ पूरी तरह से अपरिचित हूँ), लेकिन मैं लाइन

{-# LANGUAGE KindSignatures, GADTs #-} 

मेरी स्क्रिप्ट के शीर्ष पर शामिल करने के लिए सलाह दी गई है। लेकिन मुझे एक त्रुटि संदेश मिलता है:

Grammars.lhs:5:3: 
    Illegal kind signature ‘Grammar’ 
     (Use KindSignatures to allow kind signatures) 
    In the data declaration for ‘Grammar’ 
Failed, modules loaded: none. 

क्या कोई मुझे बता सकता है कि मैं क्या गलत कर रहा हूं? KindSignatures या GADT पर भी कोई दस्तावेज है? मैं ज्यादा नहीं ढूंढ पा रहा हूं।

Answer 1

चूंकि यह एक साक्षर स्क्रिप्ट है, तो आप अन्य साक्षर कोड की तरह pragma से बचने के लिए की जरूरत है:

> {-# LANGUAGE KindSignatures, GADTs #-} 

या

\begin{code} 
{-# LANGUAGE KindSignatures, GADTs #-} 
\end{code} 

जो साक्षर शैली आप उपयोग कर रहे पर निर्भर है।