diff options
Diffstat (limited to 'testsuite/tests/typing-unboxed-types/test.ml.reference-flat')
-rw-r--r-- | testsuite/tests/typing-unboxed-types/test.ml.reference-flat | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/testsuite/tests/typing-unboxed-types/test.ml.reference-flat b/testsuite/tests/typing-unboxed-types/test.ml.reference-flat index f6d6aaa19c..04c31fc27d 100644 --- a/testsuite/tests/typing-unboxed-types/test.ml.reference-flat +++ b/testsuite/tests/typing-unboxed-types/test.ml.reference-flat @@ -203,4 +203,9 @@ Error: This type cannot be unboxed because # type 'a s type ('a, 'p) t = private 'a s type 'a packed = T : ('a, 'b) t -> 'a packed [@@unboxed] +# type f = { field : 'a. 'a list; } [@@unboxed] +# val g : f array = + [|{field = []}; {field = []}; {field = []}; {field = []}; {field = []}; + {field = []}; {field = []}; {field = []}; {field = []}; {field = []}|] +# val h : f = {field = []} # |