insertImpl shouldn't crash if given too many arguments
commit93946fc0710da29e33aebec5224b7c09a7c5d190
authorEdwin Brady <eb@cs.st-andrews.ac.uk>
dateFri 18 Nov 2011, 10:17 (15 years ago)
parent925648a
src/Idris/AbsSyntax.hs+1−1
@@ -846,7 +846,7 @@ aiFn ist fc f as
846846 Just (tm, given') -> PImp p l n tm : insertImpl ps given'
847847 Nothing -> PImp p l n Placeholder : insertImpl ps given
848848 insertImpl expected [] = []
849− insertImpl [] given = given
849+ insertImpl _ given = given
850850
851851 find n [] acc = Nothing
852852 find n (PImp _ _ n' t : gs) acc