Allow unboxed floats (+ annotations + any) in -extension layouts (#2003)

* Move float# (and immediate) into Stable

* Fix tests

* Fix more tests

* Fix test output

* Update test output

Author: goldfirere

ocaml/boot/menhir/parser.ml

@@ -1211,7 +1211,7 @@ let unboxed_float sloc sign (f, m) =
 
 let assert_unboxed_float_type ~loc =
     Language_extension.(
-      Jane_syntax_parsing.assert_extension_enabled ~loc Layouts Beta)
+      Jane_syntax_parsing.assert_extension_enabled ~loc Layouts Stable)
 
 let unboxed_float_type sloc tys =
   assert_unboxed_float_type ~loc:(make_loc sloc);

ocaml/parsing/builtin_attributes.ml

@@ -506,9 +506,9 @@ let jkind ~legacy_immediate attrs =
      | Value -> check true
      | Immediate | Immediate64 ->
         check  (legacy_immediate
-             || Language_extension.(is_at_least Layouts Beta))
+             || Language_extension.(is_at_least Layouts Stable))
      | Any | Float64 ->
-        check Language_extension.(is_at_least Layouts Beta)
+        check Language_extension.(is_at_least Layouts Stable)
      | Void ->
         check Language_extension.(is_at_least Layouts Alpha)
 

ocaml/parsing/parser.mly

@@ -986,7 +986,7 @@ let unboxed_float sloc sign (f, m) =
 
 let assert_unboxed_float_type ~loc =
     Language_extension.(
-      Jane_syntax_parsing.assert_extension_enabled ~loc Layouts Beta)
+      Jane_syntax_parsing.assert_extension_enabled ~loc Layouts Stable)
 
 let unboxed_float_type sloc tys =
   assert_unboxed_float_type ~loc:(make_loc sloc);