optimization

Author: rvantonder

lib/kernel/match/match_context.ml

@@ -35,13 +35,13 @@ let update_match f m =
   { m with range; environment }
 
 let convert_offset ~fast ~source match_ =
+  let index =
+    if fast then
+      Offset.index ~source
+    else
+      Offset.empty
+  in
   let f offset =
-    let index =
-      if fast then
-        Offset.index ~source
-      else
-        Offset.empty
-    in
     if fast then
       Offset.convert_fast ~offset index
     else

lib/kernel/matchers/matcher_engine.ml

@@ -829,8 +829,7 @@ module Make (Language : Types.Language.S) (Meta : Metasyntax.S) (Ext : External.
            let prefix = prefix >>= fun s -> r acc (String s) in
            let first_match_attempt = choice [ match_one; prefix ] in
            (* consumes a character in prefix if no match *)
-           let matches = many first_match_attempt *> end_of_input in
-           matches >>= fun _result -> r acc Unit)
+           skip_many first_match_attempt *> end_of_input >>= fun () -> r acc Unit)
 
     let to_template template rule =
       match parse_string ~consume:All (general_parser_generator rule) template with

lib/kernel/vendored/vangstrom/lib/vangstrom.ml

@@ -531,7 +531,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