Make skip_many tail-recursive

#217
inhabitedtype · Nov 13, 2021 · 34ef832 · 34ef832
1 parent 5536d1d
commit 34ef832
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