Remove the type float# = float hack (#1478)

Author: ncik-roberts

ocaml/testsuite/tests/typing-layouts/unboxed_floats.ml

@@ -3,10 +3,11 @@
    * expect
 *)
 
-(* CR layouts: These tests will change when we remove the obvious inaccuracy
-   where float# is aliased to float.
+(* CR layouts: We should start running these tests soon when
+   we have proper typechecking for unboxed float literals.
 *)
 
+(*
 let id : float# -> float# = fun x -> x;;
 
 id #4.0;;
@@ -32,3 +33,4 @@ val apply : (float# -> float# -> float#) -> float# -> float# -> float# =
   <fun>
 - : float# = 9.
 |}];;
+*)

ocaml/typing/predef.ml

@@ -227,11 +227,7 @@ let common_initial_env add_type add_extension empty_env =
        ~layout:(Layout.value ~why:Extensible_variant)
   |> add_type ident_extension_constructor
   |> add_type ident_float
-  (* CR layouts: Adding the alias float#=float is a convenient hack so
-     we can write tests for float#, but this is obviously something we'll
-     want to change.
-  *)
-  |> add_type ident_float_unboxed ~manifest:type_float
+  |> add_type ident_float_unboxed
   |> add_type ident_floatarray
   |> add_type ident_int ~layout:(Layout.immediate ~why:(Primitive ident_int))
   |> add_type ident_int32