From fcd169476f403f9f4f65dddd7c4f05a76b35baeb Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Sat, 10 May 2025 18:29:40 +0100 Subject: [PATCH] Update common submodule Adds these commits: Richard W.M. Jones (5): mlstdutils: Modify List.take, List.drop to match OCaml 5.3 mlstdutils: Rename List.dropwhile -> drop_while, takewhile -> take_while mlstdutils: Add List.last function mlstdutils: Move List module first mlstdutils: Add String.common_prefix, longest_common_prefix --- common | 2 +- contrib/visualize-alignment/tracetops.ml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/common b/common index aa797fa13..4c7ae1581 160000 --- a/common +++ b/common @@ -1 +1 @@ -Subproject commit aa797fa1304073107baf7f993cd0273da79b452e +Subproject commit 4c7ae1581fa4c160fd8c1a04dcec1997f52808b0 diff --git a/contrib/visualize-alignment/tracetops.ml b/contrib/visualize-alignment/tracetops.ml index b838b30f3..102a03580 100755 --- a/contrib/visualize-alignment/tracetops.ml +++ b/contrib/visualize-alignment/tracetops.ml @@ -185,7 +185,7 @@ let ranges = loop i0 rest | (false, i1) :: rest -> let i1 = i1 - 1 in - let rest = List.dropwhile (function (v, _) -> not v) rest in + let rest = List.drop_while (function (v, _) -> not v) rest in (match rest with | [] -> [i0, i1] | (_, i2) :: rest -> (i0, i1) :: loop i2 rest)