0

我有以下代码：

F (S core ps) = FAll core [] ps
  where
    FAll core acc ((name, (pc : pcs)) : ps) 
       = case F' (pc : pcs) (readC pc core) core of
            Nothing -> 
                        if (length pcs) /= 0 then FAll core ((name, pcs) : acc) ps

                        else FAll core acc ps


            Just (core', [pc']) -> let
                                     pc'' = pc' `mod` coresize
                                     pcs' = pcs ++ [pc'']
                                   in  FAll core' ((name, pcs') : acc) ps
stepAll core acc [] = S core (reverse acc)

它编译得很好，但是当我运行程序时，它给出了以下错误：

Melon.hs:(172,10)-(182,74)：非穷举模式以防万一

其中表示行的数字是从“= case F' (pc : pcs) (readC pc core) core of”到“in FAll core' ((name, pcs') : acc) ps”

我认为问题在于用尽 (pc : pcs) 的模式，但我无法理解如何解决它。

任何帮助，将不胜感激。

代码已更新为：

我写了以下内容：

Just (core', (pc' : pcs')) -> let
                                  pc'' = pc' `mod` coresize
                                  pcs' = pcs' ++ [pc'']
                              in  stepAll core' ((name, pcs') : acc) ps
Just (core', []) -> stepAll core acc ps

但是程序只是陷入了无限循环：S

4

1 回答 1

8

“非详尽模式”意味着您有一组不涵盖所有可能组合的模式匹配。在您的代码中，您有以下情况：

case {- stuff -} of
    Nothing ->               -- etc.
    Just (core', [pc']) ->   -- etc.

您处理该Maybe部分的两种模式，并且该对只有一个模式，但您仅在单元​​素Just (core', [])列表上匹配，因此对于看起来像or的模式这将失败Just (core', (pc' : pcs'))。

通常最好处理所有可能的情况（即，具有详尽的模式匹配），即使您希望某些情况永远不会发生。如果您真的非常确定某个案例是不可能的，请使用类似error "this will never happen because blah blah blah". 如果你不能解释为什么它永远不会发生，那么你应该考虑妥善处理它。:]

于 2011-12-09T21:05:05.313 回答