Permalink
Browse files

Change error message

Ignore-this: 593cdb3530d4476f8af8b29737a4bd77

darcs-hash:20090711135320-228f4-cd16cd3ecbfcce92b0f1416cf150c2fe9b251cf7.gz
  • Loading branch information...
1 parent 11b771e commit 20797dde562a07a77b71faa76a5ea60a26a3e9a8 eb committed Jul 11, 2009
Showing with 1 addition and 1 deletion.
  1. +1 −1 Ivor/PatternDefs.lhs
View
@@ -322,7 +322,7 @@ fails, reporting which case isn't matched, if patterns don't cover.
> matches' (P x) (P y) | x == y = return [(y, P x)]
> matches' t (P n) = return [(n,t)]
> matches' (P nm@(MN ("INFER",_))) t = return []
-> matches' x y = if x == y then return [] else fail "No match"
+> matches' x y = if x == y then return [] else fail "With pattern does not match parent"
> expandClause :: Monad m => Gamma Name -> RawScheme -> m [RawScheme]

0 comments on commit 20797dd

Please sign in to comment.