Jak mogę włączyć rozszerzenia GHC w piśmiennym skrypcie Haskella?

Question

Pracuję nad literackim skryptem Haskella, który definiuje typ danych gramatyki, który ma być załadowany do GHCI (wer. 7.8.3) na moim Macu. Próbuję włączyć rozszerzeń języka zwanych KindSignatures i GADTs w moim skrypcie (jestem całkowicie zaznajomiony z nich), ale już powinni zawierać linię

{-# LANGUAGE KindSignatures, GADTs #-} 

na szczycie mojego skryptu. Ale pojawia się komunikat o błędzie:

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

Czy ktoś mógłby mi powiedzieć, co robię źle? Czy istnieje również dokumentacja KindSignatures lub GADT? Nie byłem w stanie znaleźć wiele.

Answer 1

Ponieważ jest to literat skrypt, trzeba uciec pragmy niczym innym kodem literat:

> {-# LANGUAGE KindSignatures, GADTs #-} 

lub

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

zależne który literat stylu używasz.