如何在有文化的Haskell脚本中启用GHC扩展？

Question

我正在研究一个有文化的Haskell脚本,该脚本定义了一个Grammar数据类型,该数据类型将加载到我的Mac上的GHCI(v.7.8.3)中.我试图在我的脚本中打开名为KindSignatures和GADT的语言扩展(我完全不熟悉这些)但我被建议包括该行

{-# 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}

取决于您使用的文学风格.