diff options
| author | Alasdair Armstrong | 2019-07-11 15:42:23 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-07-11 15:42:23 +0100 |
| commit | 170543faa031d90186e6b45612ed8374f1c25f7b (patch) | |
| tree | a95da5d1ee1b0d9ce0b3a8623c401bd70433f456 /src/pattern_completeness.ml | |
| parent | 01177094d660286ebe8c83c68d1e8890e29d154c (diff) | |
Make sure we do constant-fold primitives however
Previous change would stop all things defined externally from being
folded, which was overly strict. We do want to allow folding for
shared primitives, and can use the set of safe_primops in the
interpreter for this.
Diffstat (limited to 'src/pattern_completeness.ml')
0 files changed, 0 insertions, 0 deletions