如果没有明确提到,如何知道模块是否需要RankNTypes或ExistentialTypes



memocombinators包的源代码中,例如,没有显式提到LANGUAGE pragma,当试图导入它时,我得到错误,因为支持显式forall语句的扩展不包括在内。我如何知道在这种情况下需要哪个扩展名?

查看memocombinators.cabal文件:http://hackage.haskell.org/packages/archive/data-memocombinators/0.4.1/data-memocombinators.cabal

相关内容

  • 没有找到相关文章

最新更新