git.iko.soy/Idris-dev
on master help sign in
Make sure package parsing reaches end of file
654c0f8Edwin Brady
src/Pkg/PParser.hs+1
compare with master
unifiedsplit
@@ -41,6 +41,7 @@ pPkg = do reserved "package"; p <- identifier
41 put (st { pkgname = p })
41 put (st { pkgname = p })
42 some pClause
42 some pClause
43 st <- get
43 st <- get
44+ eof
44 return st
45 return st
45
46
46pClause :: PParser ()
47pClause :: PParser ()