on master help sign in
Oops
commitefd11bb97d07b86d9cc80f5482162f2182f71053 authorEdwin Brady <eb@cs.st-andrews.ac.uk> dateFri 7 Oct 2011, 12:19 (15 years ago) parent8e8d57a
1 file changed+1
src/Idris/Parser.hs+1
src/Idris/Parser.hs+1
@@ -54,6 +54,7 @@ collect (PClauses [c@(PClause n l r)] : ds) = clauses n [c] ds
5454 | n == n' = clauses n (c : acc) ds
5555 clauses n acc xs = PClauses (reverse acc) : collect xs
5656collect (d : ds) = d : collect ds
57+collect [] = []
5758
5859pFullExpr = do x <- pExpr; eof; return x
5960