Commit 55e92f8

authored

More informative error for mixed product arrays (#4105)

1 parent 90944ae commit 55e92f8Copy full SHA for 55e92f8

3 files changed

+469

-179

lines changed

testsuite/tests/typing-layouts-products
- product_arrays.ml
- product_iarrays.ml
typing
- typeopt.ml

+469

-179

lines changed

Comments

(0)