flambda-backend: Fix error with Record_unboxed (bug in block kind pat…

…ch) (ocaml#119)
chambart · Jul 28, 2021 · 14dcc38 · 14dcc38
1 parent 2d35761
commit 14dcc38
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/typing/typeopt.ml b/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