Fix line number directives in stdlib/otherlibs (#2713)

* Fix line number directives in stdlib * Add missing directive from thread.mli * Update tests due to line number change
ocaml-flambda · Jun 24, 2024 · eced988 · eced988
1 parent 998f12e
commit eced988
Show file tree

Hide file tree

Showing 133 changed files with 149 additions and 148 deletions.
diff --git a/ocaml/otherlibs/stdlib_upstream_compatible/float_u.ml b/ocaml/otherlibs/stdlib_upstream_compatible/float_u.ml
@@ -1,4 +1,4 @@
-# 1 "float_u.ml"
+# 2 "float_u.ml"
 (**************************************************************************)
 (*                                                                        *)
 (*                                 OCaml                                  *)

diff --git a/ocaml/otherlibs/stdlib_upstream_compatible/float_u.mli b/ocaml/otherlibs/stdlib_upstream_compatible/float_u.mli
@@ -1,4 +1,4 @@
-# 1 "float_u.mli"
+# 2 "float_u.mli"
 (**************************************************************************)
 (*                                                                        *)
 (*                                 OCaml                                  *)

diff --git a/ocaml/otherlibs/stdlib_upstream_compatible/int32_u.ml b/ocaml/otherlibs/stdlib_upstream_compatible/int32_u.ml
@@ -1,4 +1,4 @@
-# 1 "int32_u.ml"
+# 2 "int32_u.ml"
 (**************************************************************************)
 (*                                                                        *)
 (*                                 OCaml                                  *)

diff --git a/ocaml/otherlibs/stdlib_upstream_compatible/int32_u.mli b/ocaml/otherlibs/stdlib_upstream_compatible/int32_u.mli
@@ -1,4 +1,4 @@
-# 1 "int32_u.mli"
+# 2 "int32_u.mli"
 (**************************************************************************)
 (*                                                                        *)
 (*                                 OCaml                                  *)

diff --git a/ocaml/otherlibs/stdlib_upstream_compatible/int64_u.ml b/ocaml/otherlibs/stdlib_upstream_compatible/int64_u.ml
@@ -1,4 +1,4 @@
-# 1 "int64_u.ml"
+# 2 "int64_u.ml"
 (**************************************************************************)
 (*                                                                        *)
 (*                                 OCaml                                  *)

diff --git a/ocaml/otherlibs/stdlib_upstream_compatible/int64_u.mli b/ocaml/otherlibs/stdlib_upstream_compatible/int64_u.mli
@@ -1,4 +1,4 @@
-# 1 "int64_u.mli"
+# 2 "int64_u.mli"
 (**************************************************************************)
 (*                                                                        *)
 (*                                 OCaml                                  *)

diff --git a/ocaml/otherlibs/stdlib_upstream_compatible/nativeint_u.ml b/ocaml/otherlibs/stdlib_upstream_compatible/nativeint_u.ml
@@ -1,4 +1,4 @@
-# 1 "nativeint_u.ml"
+# 2 "nativeint_u.ml"
 (**************************************************************************)
 (*                                                                        *)
 (*                                 OCaml                                  *)

diff --git a/ocaml/otherlibs/stdlib_upstream_compatible/nativeint_u.mli b/ocaml/otherlibs/stdlib_upstream_compatible/nativeint_u.mli
@@ -1,4 +1,4 @@
-# 1 "nativeint_u.mli"
+# 2 "nativeint_u.mli"
 (**************************************************************************)
 (*                                                                        *)
 (*                                 OCaml                                  *)

diff --git a/ocaml/otherlibs/systhreads/thread.ml b/ocaml/otherlibs/systhreads/thread.ml
@@ -1,4 +1,4 @@
-# 1 "thread.ml"
+# 2 "thread.ml"
 
 (**************************************************************************)
 (*                                                                        *)

diff --git a/ocaml/otherlibs/systhreads4/thread.ml b/ocaml/otherlibs/systhreads4/thread.ml
@@ -1,4 +1,4 @@
-# 1 "thread.ml"
+# 2 "thread.ml"
 (**************************************************************************)
 (*                                                                        *)
 (*                                 OCaml                                  *)

diff --git a/ocaml/otherlibs/systhreads4/thread.mli b/ocaml/otherlibs/systhreads4/thread.mli
@@ -1,3 +1,4 @@
+# 2 "thread.mli"
 (**************************************************************************)
 (*                                                                        *)
 (*                                 OCaml                                  *)

diff --git a/ocaml/stdlib/arg.ml b/ocaml/stdlib/arg.ml
@@ -1,4 +1,4 @@
-# 1 "arg.ml"
+# 2 "arg.ml"
 (**************************************************************************)
 (*                                                                        *)
 (*                                 OCaml                                  *)

diff --git a/ocaml/stdlib/arg.mli b/ocaml/stdlib/arg.mli
@@ -1,4 +1,4 @@
-# 1 "arg.mli"
+# 2 "arg.mli"
 (**************************************************************************)
 (*                                                                        *)
 (*                                 OCaml                                  *)

diff --git a/ocaml/stdlib/array.ml b/ocaml/stdlib/array.ml
@@ -1,4 +1,4 @@
-# 1 "array.ml"
+# 2 "array.ml"
 (**************************************************************************)
 (*                                                                        *)
 (*                                 OCaml                                  *)

diff --git a/ocaml/stdlib/array.mli b/ocaml/stdlib/array.mli
@@ -1,4 +1,4 @@
-# 1 "array.mli"
+# 2 "array.mli"
 (**************************************************************************)
 (*                                                                        *)
 (*                                 OCaml                                  *)

diff --git a/ocaml/stdlib/arrayLabels.ml b/ocaml/stdlib/arrayLabels.ml
@@ -1,4 +1,4 @@
-# 1 "arrayLabels.ml"
+# 2 "arrayLabels.ml"
 (**************************************************************************)
 (*                                                                        *)
 (*                                 OCaml                                  *)

diff --git a/ocaml/stdlib/arrayLabels.mli b/ocaml/stdlib/arrayLabels.mli
@@ -1,4 +1,4 @@
-# 1 "arrayLabels.mli"
+# 2 "arrayLabels.mli"
 (**************************************************************************)
 (*                                                                        *)
 (*                                 OCaml                                  *)

diff --git a/ocaml/stdlib/bigarray.ml b/ocaml/stdlib/bigarray.ml
@@ -1,4 +1,4 @@
-# 1 "bigarray.ml"
+# 2 "bigarray.ml"
 (**************************************************************************)
 (*                                                                        *)
 (*                                 OCaml                                  *)

diff --git a/ocaml/stdlib/bigarray.mli b/ocaml/stdlib/bigarray.mli
@@ -1,4 +1,4 @@
-# 1 "bigarray.mli"
+# 2 "bigarray.mli"
 (**************************************************************************)
 (*                                                                        *)
 (*                                 OCaml                                  *)

diff --git a/ocaml/stdlib/bool.ml b/ocaml/stdlib/bool.ml
@@ -1,4 +1,4 @@
-# 1 "bool.ml"
+# 2 "bool.ml"
 (**************************************************************************)
 (*                                                                        *)
 (*                                 OCaml                                  *)

diff --git a/ocaml/stdlib/bool.mli b/ocaml/stdlib/bool.mli
@@ -1,4 +1,4 @@
-# 1 "bool.mli"
+# 2 "bool.mli"
 (**************************************************************************)
 (*                                                                        *)
 (*                                 OCaml                                  *)

diff --git a/ocaml/stdlib/buffer.ml b/ocaml/stdlib/buffer.ml
@@ -1,4 +1,4 @@
-# 1 "buffer.ml"
+# 2 "buffer.ml"
 (**************************************************************************)
 (*                                                                        *)
 (*                                 OCaml                                  *)

diff --git a/ocaml/stdlib/buffer.mli b/ocaml/stdlib/buffer.mli
@@ -1,4 +1,4 @@
-# 1 "buffer.mli"
+# 2 "buffer.mli"
 (**************************************************************************)
 (*                                                                        *)
 (*                                 OCaml                                  *)

diff --git a/ocaml/stdlib/bytes.ml b/ocaml/stdlib/bytes.ml
@@ -1,4 +1,4 @@
-# 1 "bytes.ml"
+# 2 "bytes.ml"
 (**************************************************************************)
 (*                                                                        *)
 (*                                 OCaml                                  *)

diff --git a/ocaml/stdlib/bytes.mli b/ocaml/stdlib/bytes.mli
@@ -1,4 +1,4 @@
-# 1 "bytes.mli"
+# 2 "bytes.mli"
 (**************************************************************************)
 (*                                                                        *)
 (*                                 OCaml                                  *)

diff --git a/ocaml/stdlib/bytesLabels.ml b/ocaml/stdlib/bytesLabels.ml
@@ -1,4 +1,4 @@
-# 1 "bytesLabels.ml"
+# 2 "bytesLabels.ml"
 (**************************************************************************)
 (*                                                                        *)
 (*                                 OCaml                                  *)

diff --git a/ocaml/stdlib/bytesLabels.mli b/ocaml/stdlib/bytesLabels.mli
@@ -1,4 +1,4 @@
-# 1 "bytesLabels.mli"
+# 2 "bytesLabels.mli"
 (**************************************************************************)
 (*                                                                        *)
 (*                                 OCaml                                  *)

diff --git a/ocaml/stdlib/callback.ml b/ocaml/stdlib/callback.ml
@@ -1,4 +1,4 @@
-# 1 "callback.ml"
+# 2 "callback.ml"
 (**************************************************************************)
 (*                                                                        *)
 (*                                 OCaml                                  *)

diff --git a/ocaml/stdlib/callback.mli b/ocaml/stdlib/callback.mli
@@ -1,4 +1,4 @@
-# 1 "callback.mli"
+# 2 "callback.mli"
 (**************************************************************************)
 (*                                                                        *)
 (*                                 OCaml                                  *)

diff --git a/ocaml/stdlib/camlinternalFormat.ml b/ocaml/stdlib/camlinternalFormat.ml
@@ -1,4 +1,4 @@
-# 1 "camlinternalFormat.ml"
+# 2 "camlinternalFormat.ml"
 (**************************************************************************)
 (*                                                                        *)
 (*                                 OCaml                                  *)

diff --git a/ocaml/stdlib/camlinternalFormat.mli b/ocaml/stdlib/camlinternalFormat.mli
@@ -1,4 +1,4 @@
-# 1 "camlinternalFormat.mli"
+# 2 "camlinternalFormat.mli"
 (**************************************************************************)
 (*                                                                        *)
 (*                                 OCaml                                  *)

diff --git a/ocaml/stdlib/camlinternalFormatBasics.ml b/ocaml/stdlib/camlinternalFormatBasics.ml
@@ -1,4 +1,4 @@
-# 1 "camlinternalFormatBasics.ml"
+# 2 "camlinternalFormatBasics.ml"
 (**************************************************************************)
 (*                                                                        *)
 (*                                 OCaml                                  *)

diff --git a/ocaml/stdlib/camlinternalFormatBasics.mli b/ocaml/stdlib/camlinternalFormatBasics.mli
@@ -1,4 +1,4 @@
-# 1 "camlinternalFormatBasics.mli"
+# 2 "camlinternalFormatBasics.mli"
 (**************************************************************************)
 (*                                                                        *)
 (*                                 OCaml                                  *)

diff --git a/ocaml/stdlib/camlinternalLazy.ml b/ocaml/stdlib/camlinternalLazy.ml
@@ -1,4 +1,4 @@
-# 1 "camlinternalLazy.ml"
+# 2 "camlinternalLazy.ml"
 (**************************************************************************)
 (*                                                                        *)
 (*                                 OCaml                                  *)

diff --git a/ocaml/stdlib/camlinternalLazy.mli b/ocaml/stdlib/camlinternalLazy.mli
@@ -1,4 +1,4 @@
-# 1 "camlinternalLazy.mli"
+# 2 "camlinternalLazy.mli"
 (**************************************************************************)
 (*                                                                        *)
 (*                                 OCaml                                  *)

diff --git a/ocaml/stdlib/camlinternalMod.ml b/ocaml/stdlib/camlinternalMod.ml
@@ -1,4 +1,4 @@
-# 1 "camlinternalMod.ml"
+# 2 "camlinternalMod.ml"
 (**************************************************************************)
 (*                                                                        *)
 (*                                 OCaml                                  *)

diff --git a/ocaml/stdlib/camlinternalMod.mli b/ocaml/stdlib/camlinternalMod.mli
@@ -1,4 +1,4 @@
-# 1 "camlinternalMod.mli"
+# 2 "camlinternalMod.mli"
 (**************************************************************************)
 (*                                                                        *)
 (*                                 OCaml                                  *)

diff --git a/ocaml/stdlib/camlinternalOO.ml b/ocaml/stdlib/camlinternalOO.ml
@@ -1,4 +1,4 @@
-# 1 "camlinternalOO.ml"
+# 2 "camlinternalOO.ml"
 (**************************************************************************)
 (*                                                                        *)
 (*                                 OCaml                                  *)

diff --git a/ocaml/stdlib/camlinternalOO.mli b/ocaml/stdlib/camlinternalOO.mli
@@ -1,4 +1,4 @@
-# 1 "camlinternalOO.mli"
+# 2 "camlinternalOO.mli"
 (**************************************************************************)
 (*                                                                        *)
 (*                                 OCaml                                  *)

diff --git a/ocaml/stdlib/char.ml b/ocaml/stdlib/char.ml
@@ -1,4 +1,4 @@
-# 1 "char.ml"
+# 2 "char.ml"
 (**************************************************************************)
 (*                                                                        *)
 (*                                 OCaml                                  *)

diff --git a/ocaml/stdlib/char.mli b/ocaml/stdlib/char.mli
@@ -1,4 +1,4 @@
-# 1 "char.mli"
+# 2 "char.mli"
 (**************************************************************************)
 (*                                                                        *)
 (*                                 OCaml                                  *)

diff --git a/ocaml/stdlib/complex.ml b/ocaml/stdlib/complex.ml
@@ -1,4 +1,4 @@
-# 1 "complex.ml"
+# 2 "complex.ml"
 (**************************************************************************)
 (*                                                                        *)
 (*                                 OCaml                                  *)

diff --git a/ocaml/stdlib/complex.mli b/ocaml/stdlib/complex.mli
@@ -1,4 +1,4 @@
-# 1 "complex.mli"
+# 2 "complex.mli"
 (**************************************************************************)
 (*                                                                        *)
 (*                                 OCaml                                  *)

diff --git a/ocaml/stdlib/digest.ml b/ocaml/stdlib/digest.ml
@@ -1,4 +1,4 @@
-# 1 "digest.ml"
+# 2 "digest.ml"
 (**************************************************************************)
 (*                                                                        *)
 (*                                 OCaml                                  *)

diff --git a/ocaml/stdlib/digest.mli b/ocaml/stdlib/digest.mli
@@ -1,4 +1,4 @@
-# 1 "digest.mli"
+# 2 "digest.mli"
 (**************************************************************************)
 (*                                                                        *)
 (*                                 OCaml                                  *)

diff --git a/ocaml/stdlib/domain.ml b/ocaml/stdlib/domain.ml
@@ -1,4 +1,4 @@
-# 1 "domain.ml"
+# 2 "domain.ml"
 (**************************************************************************)
 (*                                                                        *)
 (*                                 OCaml                                  *)

diff --git a/ocaml/stdlib/domain.mli b/ocaml/stdlib/domain.mli
@@ -1,4 +1,4 @@
-# 1 "domain.mli"
+# 2 "domain.mli"
 (**************************************************************************)
 (*                                                                        *)
 (*                                 OCaml                                  *)

diff --git a/ocaml/stdlib/ephemeron.ml b/ocaml/stdlib/ephemeron.ml
@@ -1,4 +1,4 @@
-# 1 "ephemeron.ml"
+# 2 "ephemeron.ml"
 (**************************************************************************)
 (*                                                                        *)
 (*                                 OCaml                                  *)

diff --git a/ocaml/stdlib/ephemeron.mli b/ocaml/stdlib/ephemeron.mli
@@ -1,4 +1,4 @@
-# 1 "ephemeron.mli"
+# 2 "ephemeron.mli"
 (**************************************************************************)
 (*                                                                        *)
 (*                                 OCaml                                  *)

diff --git a/ocaml/stdlib/filename.ml b/ocaml/stdlib/filename.ml
@@ -1,4 +1,4 @@
-# 1 "filename.ml"
+# 2 "filename.ml"
 (**************************************************************************)
 (*                                                                        *)
 (*                                 OCaml                                  *)

diff --git a/ocaml/stdlib/filename.mli b/ocaml/stdlib/filename.mli
@@ -1,4 +1,4 @@
-# 1 "filename.mli"
+# 2 "filename.mli"
 (**************************************************************************)
 (*                                                                        *)
 (*                                 OCaml                                  *)

diff --git a/ocaml/stdlib/float.ml b/ocaml/stdlib/float.ml
@@ -1,4 +1,4 @@
-# 1 "float.ml"
+# 2 "float.ml"
 (**************************************************************************)
 (*                                                                        *)
 (*                                 OCaml                                  *)

diff --git a/ocaml/stdlib/float.mli b/ocaml/stdlib/float.mli
@@ -1,4 +1,4 @@
-# 1 "float.mli"
+# 2 "float.mli"
 (**************************************************************************)
 (*                                                                        *)
 (*                                 OCaml                                  *)

diff --git a/ocaml/stdlib/format.ml b/ocaml/stdlib/format.ml
@@ -1,4 +1,4 @@
-# 1 "format.ml"
+# 2 "format.ml"
 (**************************************************************************)
 (*                                                                        *)
 (*                                 OCaml                                  *)

diff --git a/ocaml/stdlib/format.mli b/ocaml/stdlib/format.mli
@@ -1,4 +1,4 @@
-# 1 "format.mli"
+# 2 "format.mli"
 (**************************************************************************)
 (*                                                                        *)
 (*                                 OCaml                                  *)

diff --git a/ocaml/stdlib/fun.ml b/ocaml/stdlib/fun.ml
@@ -1,4 +1,4 @@
-# 1 "fun.ml"
+# 2 "fun.ml"
 (**************************************************************************)
 (*                                                                        *)
 (*                                 OCaml                                  *)

diff --git a/ocaml/stdlib/fun.mli b/ocaml/stdlib/fun.mli
@@ -1,4 +1,4 @@
-# 1 "fun.mli"
+# 2 "fun.mli"
 (**************************************************************************)
 (*                                                                        *)
 (*                                 OCaml                                  *)

diff --git a/ocaml/stdlib/gc.ml b/ocaml/stdlib/gc.ml
@@ -1,4 +1,4 @@
-# 1 "gc.ml"
+# 2 "gc.ml"
 (**************************************************************************)
 (*                                                                        *)
 (*                                 OCaml                                  *)

diff --git a/ocaml/stdlib/gc.mli b/ocaml/stdlib/gc.mli
@@ -1,4 +1,4 @@
-# 1 "gc.mli"
+# 2 "gc.mli"
 (**************************************************************************)
 (*                                                                        *)
 (*                                 OCaml                                  *)

diff --git a/ocaml/stdlib/hashtbl.ml b/ocaml/stdlib/hashtbl.ml
@@ -1,4 +1,4 @@
-# 1 "hashtbl.ml"
+# 2 "hashtbl.ml"
 (**************************************************************************)
 (*                                                                        *)
 (*                                 OCaml                                  *)

diff --git a/ocaml/stdlib/hashtbl.mli b/ocaml/stdlib/hashtbl.mli
@@ -1,4 +1,4 @@
-# 1 "hashtbl.mli"
+# 2 "hashtbl.mli"
 (**************************************************************************)
 (*                                                                        *)
 (*                                 OCaml                                  *)

diff --git a/ocaml/stdlib/int.ml b/ocaml/stdlib/int.ml
@@ -1,4 +1,4 @@
-# 1 "int.ml"
+# 2 "int.ml"
 (**************************************************************************)
 (*                                                                        *)
 (*                                 OCaml                                  *)

diff --git a/ocaml/stdlib/int.mli b/ocaml/stdlib/int.mli
@@ -1,4 +1,4 @@
-# 1 "int.mli"
+# 2 "int.mli"
 (**************************************************************************)
 (*                                                                        *)
 (*                                 OCaml                                  *)

diff --git a/ocaml/stdlib/int32.ml b/ocaml/stdlib/int32.ml
@@ -1,4 +1,4 @@
-# 1 "int32.ml"
+# 2 "int32.ml"
 (**************************************************************************)
 (*                                                                        *)
 (*                                 OCaml                                  *)

diff --git a/ocaml/stdlib/int32.mli b/ocaml/stdlib/int32.mli
@@ -1,4 +1,4 @@
-# 1 "int32.mli"
+# 2 "int32.mli"
 (**************************************************************************)
 (*                                                                        *)
 (*                                 OCaml                                  *)

diff --git a/ocaml/stdlib/int64.ml b/ocaml/stdlib/int64.ml
@@ -1,4 +1,4 @@
-# 1 "int64.ml"
+# 2 "int64.ml"
 (**************************************************************************)
 (*                                                                        *)
 (*                                 OCaml                                  *)