[英]How can I enable GHC extensions in a literate Haskell script?
我正在研究一个有文化的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的任何文档吗? 我一直找不到多少。
因为它是一个有文化的脚本,你需要像其他文字代码一样逃避pragma:
> {-# LANGUAGE KindSignatures, GADTs #-}
要么
\begin{code}
{-# LANGUAGE KindSignatures, GADTs #-}
\end{code}
取决于您使用的文学风格。
声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.