diff options
Diffstat (limited to 'testsuite/tests/typing-unboxed-types/test.ml')
| -rw-r--r-- | testsuite/tests/typing-unboxed-types/test.ml | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/testsuite/tests/typing-unboxed-types/test.ml b/testsuite/tests/typing-unboxed-types/test.ml index 4391fcbbaa..e4962f903f 100644 --- a/testsuite/tests/typing-unboxed-types/test.ml +++ b/testsuite/tests/typing-unboxed-types/test.ml @@ -161,3 +161,10 @@ type 'a s type ('a, 'p) t = private 'a s type 'a packed = T : ('a, _) t -> 'a packed [@@unboxed] ;; + + +(* MPR#7682 *) + +type f = {field: 'a. 'a list} [@@unboxed];; +let g = Array.make 10 { field=[] };; +let h = g.(5);; |