Merge pull request #219 from dialohq/skip-many-tail-recursive

Make `skip_many` tail-recursive
inhabitedtype · Nov 22, 2023 · aff4665 · aff4665
2 parents 5536d1d + 34ef832
commit aff4665
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/lib/angstrom.ml b/lib/angstrom.ml
@@ -521,7 +521,10 @@ let sep_by s p =
 
 let skip_many p =
   fix (fun m ->
-    (p *> m) <|> return ())
+      ((p >>| fun _ -> true) <|> return false) >>= function
+      | true -> m
+      | false -> return ()
+    )
 
 let skip_many1 p =
   p *> skip_many p