summaryrefslogtreecommitdiff
path: root/src/ocaml_backend.ml
diff options
context:
space:
mode:
authorBrian Campbell2019-02-05 17:27:52 +0000
committerBrian Campbell2019-02-05 17:28:07 +0000
commit2e6b258fee6929e060a6c55c889fd479ee543fc3 (patch)
tree97ebd718292cd899f0caf9a2297b41fc137e99e6 /src/ocaml_backend.ml
parentf1af348146a5810d1a21ee272d1799adfe2d545b (diff)
Use more general types for lexps in the internal lets rewriting pass
This reduces the amount of unnecessary complex existentials that appear during rewriting.
Diffstat (limited to 'src/ocaml_backend.ml')
0 files changed, 0 insertions, 0 deletions