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

Question

我正在编写一个有文化的 Haskell 脚本，该脚本定义了要加载到 Mac 上的 GHCI (v. 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}

取决于您使用的文字风格。