Skip to content

Commit 9a17b57

Browse files
flambda-backend: Remove non_null_value layout (#2659)
* Revert "`Non_null_value` layout (#2480)" This reverts commit cb697c0. * Fixes --------- Co-authored-by: Diana Kalinichenko <dkalinichenko@janestreet.com>
1 parent 49c625c commit 9a17b57

19 files changed

+14
-422
lines changed

testsuite/tests/typing-layouts-non-null-value/basics.ml

-134
This file was deleted.

testsuite/tests/typing-layouts/annots.ml

-10
Original file line numberDiff line numberDiff line change
@@ -32,16 +32,6 @@ Error: Layout void is more experimental than allowed by the enabled layouts exte
3232
You must enable -extension layouts_alpha to use this feature.
3333
|}]
3434

35-
type t_non_null_value : non_null_value;;
36-
37-
[%%expect{|
38-
Line 1, characters 24-38:
39-
1 | type t_non_null_value : non_null_value;;
40-
^^^^^^^^^^^^^^
41-
Error: Layout non_null_value is more experimental than allowed by the enabled layouts extension.
42-
You must enable -extension layouts_alpha to use this feature.
43-
|}]
44-
4535
(***************************************)
4636
(* Test 1: annotation on type variable *)
4737

testsuite/tests/typing-layouts/basics.ml

-9
Original file line numberDiff line numberDiff line change
@@ -31,15 +31,6 @@ Error: Layout void is more experimental than allowed by the enabled layouts exte
3131
You must enable -extension layouts_alpha to use this feature.
3232
|}];;
3333

34-
type t_non_null_value : non_null_value;;
35-
[%%expect{|
36-
Line 1, characters 24-38:
37-
1 | type t_non_null_value : non_null_value;;
38-
^^^^^^^^^^^^^^
39-
Error: Layout non_null_value is more experimental than allowed by the enabled layouts extension.
40-
You must enable -extension layouts_alpha to use this feature.
41-
|}]
42-
4334
(******************************************************************)
4435
(* Test 1: Allow non-representable function args/returns in types *)
4536

0 commit comments

Comments
 (0)