diff options
| author | Thomas Bauereiss | 2018-01-17 19:41:25 +0000 |
|---|---|---|
| committer | Thomas Bauereiss | 2018-01-17 19:41:25 +0000 |
| commit | 373b081bc4b9669bbc17accf24e0dd392489f762 (patch) | |
| tree | 3790397bffc4ca29d4a89e4e0f463c675a53a819 /src/value.ml | |
| parent | 3216b9307830895b8c76725d8aea8936a0aca181 (diff) | |
Use right effect annotations in early return rewriting
Also drop redundant unit expressions when concatenating with an empty block.
Diffstat (limited to 'src/value.ml')
0 files changed, 0 insertions, 0 deletions