Make empty types immediate

antalsz · lpw25 · commit b5ea912311a3 · 2022-06-24T14:57:47.000+01:00
diff --git a/testsuite/tests/typing-immediate/immediate.ml b/testsuite/tests/typing-immediate/immediate.ml
@@ -57,16 +57,7 @@ module FM_valid : S
 (* Valid for empty types *)
 module Empty_valid : S = struct type t = | end;;
 [%%expect{|
-Line 1, characters 25-46:
-1 | module Empty_valid : S = struct type t = | end;;
-                             ^^^^^^^^^^^^^^^^^^^^^
-Error: Signature mismatch:
-       Modules do not match: sig type t = | end is not included in S
-       Type declarations do not match:
-         type t = |
-       is not included in
-         type t [@@immediate]
-       The first is not an immediate type.
+module Empty_valid : S
 |}];;
 
 (* Practical usage over modules *)
diff --git a/typing/typedecl_immediacy.ml b/typing/typedecl_immediacy.ml
@@ -33,7 +33,7 @@ let compute_decl env tdecl =
         | Type_immediacy.Always -> Type_immediacy.Always_on_64bits
         | Type_immediacy.Always_on_64bits | Type_immediacy.Unknown as x -> x
     end
-  | (Type_variant (_ :: _ as cstrs), _) ->
+  | (Type_variant cstrs, _) ->
     if not (List.exists (fun c -> c.Types.cd_args <> Types.Cstr_tuple []) cstrs)
     then
       Type_immediacy.Always
