问题标签 [non-exhaustive-patterns]

所以我正在尝试triplize一个元素，即制作该元素的其他 2 个副本。

所以我写了这个：

但我一直收到这个错误：

我是 Haskell 的新手，所以任何指针表示赞赏！

我想从这个页面使用这个埃拉托色尼筛的代码：http ://en.literateprograms.org/Sieve_of_Eratosthenes_(Haskell)#chunk def:primes_naive

只有一点修改，所以它只显示素数到一个数字：

但在 WinGHCi 中总是会出现错误（示例 10）：

我从递归函数中知道这个错误，例如缺少案例，但是这里缺少什么？

首先，我创建了一个类型 StudentMark，它是一个元组，首先是一个字符串，其次是一个 Int。

这是我的 capMarks 函数：

这是我的 capMark 函数：

它应该返回：

从：

但是只有当我在函数中输入 1 个参数时才会返回正确和预期的响应，例如：

或者

但是按照预期使用两个（或更多）只会告诉我 capMarks 函数中有一个非穷举模式。

测试用例： ¬( p ∨ Q )

但是，如果我添加nnf (Not p) = Not (nnf p)到函数中，它将显示

我想知道我做错了什么？

有没有办法检查我的代码是否包含：Non-exhaustive patterns in function？也许编译器的一些标志？

这是功能

这是测试

这是错误

如何修复测试仪以使其正常工作？

我正在尝试创建一个函数，从整数列表中消除给定整数的倍数，格式multiples x [y]为 ，其中 x 是给定的整数，y 是列表。

这是我所拥有的：

multiples调用时会失败，说“函数倍数中的非详尽模式”。所以我用ghci -Wall我的文件来查看丢失了哪些模式，它返回了这个：

我觉得我在第 2 行中遗漏了一些非常简单的东西，但我有点卡住了。我究竟做错了什么？

我正在用 Haskell 编写一个程序，它可以漂亮地打印一个表并对其进行基本查询。以下函数是打印表格的代码片段：

笔记：Table == [[String]]

使用 'unlines' 函数调用此函数后，将打印表格。

如果我测试这个函数，给它一个[[String]]参数，它就可以正常工作。但是，如果我在“主”代码中测试此函数，则会收到错误消息：

唯一的区别是在我的主代码中，程序的用户可以提供一个文本文件作为输入：

任何解决此问题的帮助都非常受欢迎！

我已经提升了 typeNat = Suc Nat | Zero并且我想创建一个 typeclass class C (a :: Nat) b。有没有办法说服 GHCinstance C Zero b并instance C (Seq x) b涵盖所有情况，因此每当我使用类的方法时，我都不需要显式声明C为约束。这是一些代码：

编辑：一个相关的问题是，考虑到注释掉的实例 if C，为什么当我noGreet "hi"对 repl 说我得到一个异常而不是Just "hi"。

您好，我是 ML 新手，正在为以下数据类型编写树形图函数：

这是我的树形图函数：

我知道我收到了非详尽的警告，因为我没有检查 NIL 案例，但我该如何检查呢？当我添加另一个或出现EQUALOP错误时。任何帮助表示赞赏，谢谢。