From 0a2845feb8e5436d0840ed5c87fd379ff2ddd569 Mon Sep 17 00:00:00 2001
From: Lars-Dominik Braun <lars@6xq.net>
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(-)

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