2

尝试使用 Chart 学习 Haskell。构建中的包装中断：

/private/var/folders/m2/qwhdrn_d46z99_3vxchdwn7r0000gn/T/stack5630/Chart-1.9/Graphics/Rendering/Chart/State.hs:102:3: error:
    • No instance for (Control.Monad.Fail.MonadFail Identity)
        arising from a do statement
        with the failable pattern ‘(c : cs)’
    • In a stmt of a 'do' block: (c : cs) <- use shapes
      In the second argument of ‘($)’, namely
        ‘do (c : cs) <- use shapes
            shapes .= cs
            return c’
      In the expression:
        liftCState
          $ do (c : cs) <- use shapes
               shapes .= cs
               return c
    |
102 |   (c:cs) <- use shapes

我太缺乏经验，不知道如何处理这样的问题。请指教。

4

1 回答 1

2

你有一些选择来解决这个问题。您正在尝试使用非详尽模式在“do”块中进行模式匹配。为了做到这一点：

  • 您可以禁用 MonadFailDesugaring 扩展。在文件顶部添加 {-# LANGUAGE NoMonadFailDesugaring #-} 或使用标志 -XNoMonadFailDesugaring 进行编译。但是这个扩展不能在 GHC 8.8 或更高版本中停用。

  • 您可以定义或派生 MonadFail 实例。

  • 你可以使用 State monad。如果 monad 转换器堆栈中较低的 monad 是 MonadFail 的实例，那么我们也可以将最高的 monad 设为 MonadFail 的实例。

  • 停止并执行明确和详尽的模式匹配。

来源：http ://www.fyrbll.me/haskell/language-extensions/monad-fail-desugaring/processed.html

于 2020-05-25T13:53:35.743 回答