我試圖建立一個需要RMonad包的專案。下面是我的package.yaml中的依賴性說明
- dependencies:
- base >= 4.7 && < 5
- 容器 >=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建構式'SetConstraints'有存在的type變數，一個背景關系，或者一個專門的結果type。
suitable > SetConstraints :: forall a. Ord a => Constraints Set a
suitable > (Enable ExistentialQuantification 或 GADTs 以允許這樣做)
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 >
然而，我不知道如何在匯入的包上啟用語言擴展。我只知道如何在我自己的源代碼中激活它。你如何解決這個問題？
uj5u.com熱心網友回復：
suitable包最后一次上傳是在2011年，似乎不再被維護，也不會再構建。使用這個軟體包的唯一方法是在上游修復它。
即使你想這樣做，源代碼也被存盤在Darcs版本控制系統中，所以它對用戶并不友好。
但是，無論誰想嘗試一下，肯定會有好運氣的！
轉載請註明出處，本文鏈接：https://www.uj5u.com/qukuanlian/316948.html
標籤：