diff options
| author | Brian Campbell | 2019-04-24 11:44:24 +0100 |
|---|---|---|
| committer | Brian Campbell | 2019-04-25 15:01:56 +0100 |
| commit | f2e6e822b69681f20d17344141efabca0131dddf (patch) | |
| tree | 6d243768fea5a90c00d5467dc3eb141f6576c81a /src/process_file.mli | |
| parent | c5c2f3a9dc9c18463719647eb48ccccd84fbdc89 (diff) | |
Make constructor splitting in monomorphisation obey -dall_split_errors
Diffstat (limited to 'src/process_file.mli')
0 files changed, 0 insertions, 0 deletions