summaryrefslogtreecommitdiff
path: root/src/interactive.ml
diff options
context:
space:
mode:
authorBrian Campbell2019-02-25 18:37:39 +0000
committerBrian Campbell2019-02-25 18:37:39 +0000
commit8985e0ffc1b23ef5039383d99bdf46da10a131c1 (patch)
tree492e6879916c33bea6fb0df157e748b1881af983 /src/interactive.ml
parent24223bee0e379a18db010c8b50b1b52110876caf (diff)
Monomorphisation: fix check for effects in constant propagation
The old check used the wrong part of the AST. It would stop when it reached the actual effect, anyway, but this should improve performance.
Diffstat (limited to 'src/interactive.ml')
0 files changed, 0 insertions, 0 deletions