Added top-level try optimisation

j-mie6 · Aug 13, 2021 · 370d741 · 370d741
1 parent c8cb116
commit 370d741
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 2 deletions.
diff --git a/parsley/ChangeLog.md b/parsley/ChangeLog.md
@@ -22,4 +22,8 @@
 
 ## 1.0.0.1 -- 2021-06-29
 
-* Improved implementation of `oneOf` and `noneOf` to use ranges and not exhaustive character search
+* Improved implementation of `oneOf` and `noneOf` to use ranges and not exhaustive character search
+
+## 1.0.0.2 -- 2021-08-13
+
+* Added small optimisation to accomodate new core changes: added `try` for all top-level parsers.
diff --git a/parsley/src/ghc/Parsley.hs b/parsley/src/ghc/Parsley.hs
@@ -68,7 +68,7 @@ the compilation pipeline when "Parsley.Internal.Verbose" is imported.
 runParser :: (Trace, Input input)
           => Parser a                -- ^ The parser to be compiled
           -> Code (input -> Maybe a) -- ^ The generated parsing function
-runParser p = [||\input -> $$(eval [||input||] (compile p codeGen))||]
+runParser p = [||\input -> $$(eval [||input||] (compile (try p) codeGen))||]
 
 {-|
 This function generates a function that reads input from a file