diff options
| author | Brian Campbell | 2019-05-02 15:00:30 +0100 |
|---|---|---|
| committer | Brian Campbell | 2019-05-06 16:36:45 +0100 |
| commit | 1d1903e5243cbad1302d00f2c102579a79d28d4d (patch) | |
| tree | 01e6aad713382d7c5ef4bb4f7642809e1e276554 /src/elf_loader.ml | |
| parent | 4eb2e16d8e3accf5bfc9d695be619d80b34e2824 (diff) | |
Apply constructor monomorphisation in preference to variable splits
Note that we might need to do both in future.
Also report more information when constructor refinement fails.
Diffstat (limited to 'src/elf_loader.ml')
0 files changed, 0 insertions, 0 deletions