Skip to content

Commit

Permalink
Merge pull request #249 from ocaml/ps/rr/refactor__rename__delta_2__t…
Browse files Browse the repository at this point in the history
…o__delta_alt_

refactor: rename [delta_2] to [delta_alt]
  • Loading branch information
vouillon authored Apr 15, 2024
2 parents 7f7b085 + a929bdd commit 8dd01c5
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions lib/automata.ml
Original file line number Diff line number Diff line change
Expand Up @@ -399,7 +399,7 @@ let rec delta_1 marks c ~next_cat ~prev_cat x rem =
Cst s ->
if Cset.mem c s then E.texp marks eps_expr :: rem else rem
| Alt l ->
delta_2 marks c ~next_cat ~prev_cat l rem
delta_alt marks c ~next_cat ~prev_cat l rem
| Seq (kind, y, z) ->
let y' = delta_1 marks c ~next_cat ~prev_cat y [] in
delta_seq c ~next_cat ~prev_cat kind y' z rem
Expand Down Expand Up @@ -429,12 +429,12 @@ let rec delta_1 marks c ~next_cat ~prev_cat x rem =
| After cat'' ->
if Category.intersect prev_cat cat'' then E.TMatch marks :: rem else rem

and delta_2 marks c ~next_cat ~prev_cat l rem =
and delta_alt marks c ~next_cat ~prev_cat l rem =
match l with
[] -> rem
| y :: r ->
delta_1 marks c ~next_cat ~prev_cat y
(delta_2 marks c ~next_cat ~prev_cat r rem)
(delta_alt marks c ~next_cat ~prev_cat r rem)

and delta_seq c ~next_cat ~prev_cat kind y z rem =
match first_match y with
Expand Down

0 comments on commit 8dd01c5

Please sign in to comment.