diff options
| author | Brian Campbell | 2020-08-07 11:02:47 +0100 |
|---|---|---|
| committer | Brian Campbell | 2020-08-07 18:08:47 +0100 |
| commit | 7f53a4db1d3c36524707761446a8167f69ddd357 (patch) | |
| tree | b064abd1987c43022eb9a635eb34c7c589dae2b7 /lib | |
| parent | 6acc35376c9765d361359ebbfc473870b70d6e68 (diff) | |
Allow C/IR builds to use mono_rewrites without the rest of monomorphisation
- also tie following type check to the mono_rewrites flag
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions