如果没有明确提及，如何知道模块是否需要 RankNTypes 还是 ExistentialTypes？
例如，在 memocombinators 包的源代码中，没有明确提及 LANGUAGE pragma，当尝试导入它时，我会收到错误，因为不包含支持显式 forall 语句的扩展。在这种情况下我如何知道需要哪个扩展？
In the source of the memocombinators package, for example, no LANGUAGE pragma is explicitly mentioned and when trying to import it I get errors because the extension which supports the explicit forall statement is not included. How do I know which extension is required in this case ?
如果你对这篇内容有疑问，欢迎到本站社区发帖提问 参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。
绑定邮箱获取回复消息
由于您还没有绑定你的真实邮箱，如果其他用户或者作者回复了您的评论，将不能在第一时间通知您！
发布评论
评论（1）
检查
memocombinators.cabal文件：http://hackage.haskell.org/packages/archive/data-memocombinators/0.4.1/data-memocombinators.cabalCheck the
memocombinators.cabalfile: http://hackage.haskell.org/packages/archive/data-memocombinators/0.4.1/data-memocombinators.cabal