Fix error with Record_unboxed (bug in block kind patch) (ocaml#119)

stedolan · Aug 4, 2021 · c0e225e · c0e225e
1 parent 2e251fc
commit c0e225e
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/ocaml/typing/typeopt.ml b/ocaml/typing/typeopt.ml
@@ -233,7 +233,12 @@ let value_kind env ty =
             | Record_inlined tag ->
               Pblock { tag; fields }
             | Record_unboxed _ ->
-              assert false
+              begin match fields with
+              | [field] -> field
+              | [] | _::_ ->
+                Misc.fatal_error "Records that are [Record_unboxed] should \
+                  have exactly one field"
+              end
             | Record_extension _ ->
               Pgenval
           end