Allow whitespace before program text
commitb1419b2be6acb0612f4cc557f6e224587b8a2f3a
authorEdwin Brady <eb@cs.st-andrews.ac.uk>
dateFri 14 Oct 2011, 17:38 (15 years ago)
parentca6a5e1
nat.idr+1
@@ -1,3 +1,4 @@
1+
12data Nat = O | S Nat;
23
34plus : Nat -> Nat -> Nat;
src/Idris/Parser.hs+1
@@ -91,6 +91,7 @@ parseProg :: SyntaxInfo -> FilePath -> String -> SourcePos -> Idris [PDecl]
9191parseProg syn fname input pos
9292 = do i <- get
9393 case (runParser (do setPosition pos
94+ whiteSpace
9495 ps <- many1 (pDecl syn)
9596 eof
9697 i' <- getState