summaryrefslogtreecommitdiff
path: root/Utility
diff options
context:
space:
mode:
authorGravatar Joey Hess <joey@kitenet.net>2011-09-18 20:58:34 -0400
committerGravatar Joey Hess <joey@kitenet.net>2011-09-18 20:58:34 -0400
commitb516cecff2c315e495c7dc6ec51af6e5aefaf57c (patch)
treeeaf1fd67e231a6a8e6bf1ffba04f7af11c3c0db7 /Utility
parent8ea48c3e3976b16ee4588a24fe1524769ef42e56 (diff)
probably better to error on unknown token
Diffstat (limited to 'Utility')
-rw-r--r--Utility/Matcher.hs2
1 files changed, 1 insertions, 1 deletions
diff --git a/Utility/Matcher.hs b/Utility/Matcher.hs
index 5cf000b1b..451c3f139 100644
--- a/Utility/Matcher.hs
+++ b/Utility/Matcher.hs
@@ -57,7 +57,7 @@ consume m ((Token t):ts)
| t == "not" = cont $ m `And` (Not next)
| t == "(" = let (n, r) = consume next rest in (m `And` n, r)
| t == ")" = (m, ts)
- | otherwise = (m, ts) -- ignore unknown token
+ | otherwise = error $ "unknown token " ++ t
where
(next, rest) = consume Any ts
cont v = (v, rest)