Skip to content

Commit 07faa2c

Browse files
flambda-backend: Remove old otherlib names (#2715)
* `beta` -> `stdlib_beta` * Flambda tests * Remove old otherlib names --------- Co-authored-by: Diana Kalinichenko <[email protected]>
1 parent beb51c3 commit 07faa2c

File tree

5 files changed

+5
-244
lines changed

5 files changed

+5
-244
lines changed

ocamltest/ocaml_modifiers.ml

Lines changed: 5 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -139,16 +139,12 @@ let _ =
139139
register_modifiers "dynlink" dynlink;
140140
register_modifiers "str" str;
141141
List.iter
142-
(fun old_name ->
143-
let new_name = "stdlib_" ^ old_name in
144-
register_modifiers old_name (extension_universe_lib old_name);
145-
register_modifiers new_name (extension_universe_lib new_name);
146-
)
142+
(fun name -> register_modifiers name (extension_universe_lib name))
147143
[
148-
"upstream_compatible";
149-
"stable";
150-
"beta";
151-
"alpha";
144+
"stdlib_upstream_compatible";
145+
"stdlib_stable";
146+
"stdlib_beta";
147+
"stdlib_alpha";
152148
];
153149
List.iter
154150
(fun archive -> register_modifiers archive (compilerlibs_archive archive))

otherlibs/alpha/dune

Lines changed: 0 additions & 54 deletions
This file was deleted.

otherlibs/beta/dune

Lines changed: 0 additions & 56 deletions
This file was deleted.

otherlibs/stable/dune

Lines changed: 0 additions & 60 deletions
This file was deleted.

otherlibs/upstream_compatible/dune

Lines changed: 0 additions & 65 deletions
This file was deleted.

0 commit comments

Comments
 (0)