diff options
| author | Alasdair Armstrong | 2018-08-06 19:40:37 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-08-06 19:40:37 +0100 |
| commit | d334535562953959c965ccace6392b0d87d1fb89 (patch) | |
| tree | 61d264c50844b75ab65af860dfcd4f21e063b245 /src/bytecode_util.ml | |
| parent | 747bd91bc4c9a6a30bd42a34d9e1c1676905a8e5 (diff) | |
Make sure monomorphic constructors are preserved
Diffstat (limited to 'src/bytecode_util.ml')
0 files changed, 0 insertions, 0 deletions