如何在文字 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

由于是读写脚本，需要像其他读写代码一样转义编译指示：

> {-# LANGUAGE KindSignatures, GADTs #-}

或

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

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

如何在文字 Haskell 脚本中启用 GHC 扩展？

How can I enable GHC extensions in a literate Haskell script?

haskell

ghci