Come posso abilitare le estensioni GHC in uno script Haskell scritto?

Question

Sto lavorando a uno script Haskell scritto che definisce un tipo di dati Grammatic che deve essere caricato in GHCI (v. 7.8.3) sul mio Mac. Sto cercando di attivare le estensioni linguaggio chiamato KindSignatures e GADTs nel mio script (io sono completamente familiarità con questi) ma mi hanno consigliato di includere la riga

{-# LANGUAGE KindSignatures, GADTs #-} 

nella parte superiore del mio script. Ma ricevo un messaggio di errore:

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

Qualcuno potrebbe dirmi per favore cosa sto facendo male? C'è anche qualche tipo di documentazione su KindSignatures o GADTs? Non sono riuscito a trovare molto.

Answer 1

Poiché si tratta di uno script letterato, è necessario sfuggire alla pragma come altro codice letterato:

> {-# LANGUAGE KindSignatures, GADTs #-} 

o

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

dipende da quale stile letterato che si sta utilizzando.