Skip to content

Commit c79e1ec

Browse files
authored
Zero alloc remove annotation from stdlib (#1434)
1 parent 98cfd0b commit c79e1ec

File tree

9 files changed

+6
-15
lines changed

9 files changed

+6
-15
lines changed

ocaml/dune

Lines changed: 1 addition & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -20,12 +20,7 @@
2020

2121
(main
2222
(flags
23-
(:standard -warn-error +A))
24-
(ocamlopt_flags
25-
;; CR gyorsh: it is not clear what the ":standard" flags are, and they
26-
;; may change depending on the version of dune.
27-
;; Consider hard-coded flags, such as -O3.
28-
(:standard -zero-alloc-check)))
23+
(:standard -warn-error +A)))
2924
(boot
3025
(flags
3126
(:standard -warn-error +A))))

ocaml/stdlib/camlinternalAtomic.ml

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -14,7 +14,6 @@
1414
(**************************************************************************)
1515

1616
[@@@ocaml.flambda_o3]
17-
[@@@ocaml.zero_alloc check]
1817

1918
(* CamlinternalAtomic is a dependency of Stdlib, so it is compiled with
2019
-nopervasives. *)

ocaml/stdlib/camlinternalFormatBasics.ml

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -13,7 +13,6 @@
1313
(* special exception on linking described in the file LICENSE. *)
1414
(* *)
1515
(**************************************************************************)
16-
[@@@ocaml.zero_alloc check]
1716

1817
(* Padding position. *)
1918
type padty =

ocaml/stdlib/std_exit.ml

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -17,7 +17,6 @@
1717
open! Stdlib
1818

1919
[@@@ocaml.flambda_o3]
20-
[@@@ocaml.zero_alloc check]
2120

2221
(* Ensure that [at_exit] functions are called at the end of every program *)
2322

ocaml/stdlib/stdlib.ml

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -16,7 +16,6 @@
1616

1717
[@@@ocaml.warning "-49"]
1818
[@@@ocaml.flambda_o3]
19-
[@@@ocaml.zero_alloc check]
2019

2120
(* Exceptions *)
2221

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
11
Fatal error: exception Stdlib.Exit
2-
Raised at Stdlib.open_in_gen in file "stdlib.ml", line 409, characters 28-54
2+
Raised at Stdlib.open_in_gen in file "stdlib.ml", line 408, characters 28-54
33
Called from Pr2195 in file "pr2195.ml", line 24, characters 6-19
44
Re-raised at Pr2195 in file "pr2195.ml", line 29, characters 4-41
Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
Fatal error: exception Stdlib.Exit
2-
Raised at Stdlib.open_in_gen in file "stdlib.ml", line 409, characters 28-54
3-
Called from Stdlib.open_in in file "stdlib.ml", line 414, characters 2-45
2+
Raised at Stdlib.open_in_gen in file "stdlib.ml", line 408, characters 28-54
3+
Called from Stdlib.open_in in file "stdlib.ml", line 413, characters 2-45
44
Called from Pr2195 in file "pr2195.ml", line 24, characters 6-19
55
Re-raised at Pr2195 in file "pr2195.ml", line 29, characters 4-41

ocaml/testsuite/tests/lib-dynlink-initializers/test10_main.byte.reference

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
Error: Failure("Plugin error")
2-
Raised at Stdlib.failwith in file "stdlib.ml", line 33, characters 17-33
2+
Raised at Stdlib.failwith in file "stdlib.ml", line 32, characters 17-33
33
Called from Test10_plugin.g in file "test10_plugin.ml", line 3, characters 2-21
44
Called from Test10_plugin.f in file "test10_plugin.ml", line 6, characters 2-6
55
Called from Test10_plugin in file "test10_plugin.ml", line 10, characters 2-6

ocaml/testsuite/tests/lib-dynlink-initializers/test10_main.native.reference

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
Error: Failure("Plugin error")
2-
Raised at Stdlib.failwith in file "stdlib.ml", line 33, characters 17-33
2+
Raised at Stdlib.failwith in file "stdlib.ml", line 32, characters 17-33
33
Called from Test10_plugin.g in file "test10_plugin.ml" (inlined), line 2, characters 15-38
44
Called from Test10_plugin.f in file "test10_plugin.ml", line 6, characters 2-6
55
Called from Test10_plugin in file "test10_plugin.ml", line 10, characters 2-6

0 commit comments

Comments
 (0)