依赖包编译错误，需要语言扩展

Question

我试图构建一个需要 RMonad 包的项目。这是我的 package.yaml

中的依赖项规范

- dependencies:
- base >= 4.7 && < 5
- containers >= 0.5 && < 0.7
- suitable >= 0.1 && < 0.2
- rmonad >= 0.8 && < 0.9

这里是 stack.yaml

的 extra-deps

- suitable-0.1.1
- containers-0.6.5.1
- rmonad-0.8.0.2

构建项目时出现错误：

suitable > /tmp/stack-f5e19bf830e1ff79/suitable-0.1.1/src/Data/Suitable.hs:41:35: error:
suitable >     • Data constructor ‘SetConstraints’ has existential type variables, a context, or a specialised result type
suitable >         SetConstraints :: forall a. Ord a => Constraints Set a
suitable >         (Enable ExistentialQuantification or GADTs to allow this)
suitable >     • In the definition of data constructor ‘SetConstraints’
suitable >       In the data instance declaration for ‘Constraints’
suitable >    |
suitable > 41 | data instance Constraints Set a = Ord a => SetConstraints
suitable >    |                                   ^^^^^^^^^^^^^^^^^^^^^^^
suitable >

但是，我不知道如何在导入包上启用语言扩展。我只知道如何在我自己的源代码中激活它。你如何解决这个问题？

Answer 1

suitable 包最后一次上传是在 2011 年，似乎不再维护，也不会再构建。使用这个包的唯一方法是在上游修复它。

即使你想这样做，源代码存储在 Darcs 版本控制系统中，所以它不是那么用户友好。

不过祝想尝试的人好运！

依赖包编译错误，需要语言扩展

Compilation error on dependency package, requiring a language extension

haskell

cabal

haskell-stack