diff options
| author | Alasdair Armstrong | 2019-07-11 14:21:25 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-07-11 14:21:25 +0100 |
| commit | 01177094d660286ebe8c83c68d1e8890e29d154c (patch) | |
| tree | c142d7ac7e0127b0672710520bdf9a231ac3f9aa /src/pattern_completeness.ml | |
| parent | 1504c287da8186c2c5c0df65f460aeaa152cf986 (diff) | |
Make sure constant folding won't fold external definitions that also have sail definitions
Definitions can be made external on a per-backend basis, so we need to
make sure constant folding doesn't inline external functions that have
sail definitions for backends other than the ones we are currently
targetting
Diffstat (limited to 'src/pattern_completeness.ml')
0 files changed, 0 insertions, 0 deletions