From fe8b59270c184b28cbdd6cd924b149eb2482dd4b Mon Sep 17 00:00:00 2001 From: Nathaniel Wesley Filardo Date: Fri, 16 Nov 2012 00:46:30 -0500 Subject: [PATCH] Minor parser nits --- src/Dyna/ParserHS/Parser.hs | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/src/Dyna/ParserHS/Parser.hs b/src/Dyna/ParserHS/Parser.hs index c92290a..3956bf9 100644 --- a/src/Dyna/ParserHS/Parser.hs +++ b/src/Dyna/ParserHS/Parser.hs @@ -258,16 +258,16 @@ rulepfx = Rule <$> term rule :: DeltaParsing m => m Rule rule = choice [ - -- HEAD OP= RESULT EXPR whenever EXPRS . + -- HEAD OP= RESULTEXPR whenever EXPRS . (try (liftA flip rulepfx <*> texpr <* hrss "whenever")) <*> (texpr `sepBy1` symbolic ',') - -- HEAD OP= EXPRS, RESULT EXPR . - , (try rulepfx) + -- HEAD OP= EXPRS, RESULTEXPR . + , try (rulepfx <*> many (try (texpr <* symbolic ',')) - <*> texpr + <*> texpr) -- HEAD . , Fact <$> term @@ -289,7 +289,7 @@ progline = do ]) dline :: DeltaParsing m => m (Spanned Line) -dline = unDL (progline <* optional (char '.') <* optional newline) +dline = unDL (progline <* optional (char '.') <* optional whiteSpace) dlines :: DeltaParsing m => m [Spanned Line] dlines = unDL (progline `sepEndBy` (char '.' <* whiteSpace)) -- 2.50.1