From 0a2845feb8e5436d0840ed5c87fd379ff2ddd569 Mon Sep 17 00:00:00 2001 From: Lars-Dominik Braun Date: Sat, 3 Sep 2022 15:33:13 +0200 Subject: lint: Drop argument unpacking and error case --- src/lib/Codec/Pesto/Lint.lhs | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'src/lib/Codec/Pesto') diff --git a/src/lib/Codec/Pesto/Lint.lhs b/src/lib/Codec/Pesto/Lint.lhs index 45e3ef6..58f9ab0 100644 --- a/src/lib/Codec/Pesto/Lint.lhs +++ b/src/lib/Codec/Pesto/Lint.lhs @@ -295,8 +295,7 @@ multiple nodes. > buildMap m (nodeid, Alternative qty) = M.insertWith append (getObject qty) [nodeid] m > buildMap m _ = m > getObject (Quantity _ _ object) = map toLower object -> append [a] b = insert a b -> append _ _ = error "unreachable" +> append a b = insert (head a) b > testUniqueNames = [ > cmpLint "+a >x +b >y *x *y >foo" [] -- cgit v1.2.3