on master help sign in
Oops
efd11bbEdwin Brady
src/Idris/Parser.hs+1
@@ -54,6 +54,7 @@ collect (PClauses [c@(PClause n l r)] : ds) = clauses n [c] ds
54 | n == n' = clauses n (c : acc) ds
54 | n == n' = clauses n (c : acc) ds
55 clauses n acc xs = PClauses (reverse acc) : collect xs
55 clauses n acc xs = PClauses (reverse acc) : collect xs
56collect (d : ds) = d : collect ds
56collect (d : ds) = d : collect ds
57+collect [] = []
57
58
58pFullExpr = do x <- pExpr; eof; return x
59pFullExpr = do x <- pExpr; eof; return x
59
60