diff options
| author | Thomas Bauereiss | 2019-02-07 18:59:48 +0000 |
|---|---|---|
| committer | Thomas Bauereiss | 2019-02-07 21:05:12 +0000 |
| commit | 6fffd6ef54ab33441d08f40f56f27daa9c5b333e (patch) | |
| tree | b72bb81efd5bed4a1f9c2ea130198ba678d53b62 /src/nl_flow.ml | |
| parent | 79438c3822d86169680188280ddfabe77395de82 (diff) | |
Monomorphisation tweaks for v8.5
Various tweaks to the monomorphisation rewrites. Disable old sizeof
rewriting for Lem backend and rely on the type checker rewriting
implicit arguments. Also avoid unifying nexps with sums, as this can
easily fail due to commutativity and associativity.
Diffstat (limited to 'src/nl_flow.ml')
0 files changed, 0 insertions, 0 deletions