Permalink
Browse files

fail -> tacfail

  • Loading branch information...
Edwin Brady
Edwin Brady committed Mar 28, 2011
1 parent d3a54cd commit c046887bec97c4968421e5f5ca2d5bec72721620
Showing with 1 addition and 1 deletion.
  1. +1 −1 Ivor/PatternDefs.lhs
View
@@ -338,7 +338,7 @@ fails, reporting which case isn't matched, if patterns don't cover.
> checkCoverage pats [] = return ()
> checkCoverage pats (c:cs)
> | length (filter (matches c) pats) > 0 = checkCoverage pats cs
-> | otherwise = fail $ "Missing clause: " ++ show c
+> | otherwise = tacfail $ "Missing clause: " ++ show c
> matches p t = getMatches p t /= Nothing

0 comments on commit c046887

Please sign in to comment.