git.iko.soy/Idris-dev
on master help sign in
Allow whitespace before program text
b1419b2Edwin Brady
nat.idr+1
compare with master
unifiedsplit
@@ -1,3 +1,4 @@
1+
1data Nat = O | S Nat;
2data Nat = O | S Nat;
2
3
3plus : Nat -> Nat -> Nat;
4plus : Nat -> Nat -> Nat;
src/Idris/Parser.hs+1
@@ -91,6 +91,7 @@ parseProg :: SyntaxInfo -> FilePath -> String -> SourcePos -> Idris [PDecl]
91parseProg syn fname input pos
91parseProg syn fname input pos
92 = do i <- get
92 = do i <- get
93 case (runParser (do setPosition pos
93 case (runParser (do setPosition pos
94+ whiteSpace
94 ps <- many1 (pDecl syn)
95 ps <- many1 (pDecl syn)
95 eof
96 eof
96 i' <- getState
97 i' <- getState