diff options
| author | Guillaume Melquiond | 2020-08-30 10:31:02 +0200 |
|---|---|---|
| committer | Guillaume Melquiond | 2020-11-13 15:13:23 +0100 |
| commit | 203211090f9e67750a0f953d6dbefe5045271921 (patch) | |
| tree | 2d2ba9f0fbf49f1f831227aeb36f21c29ab1163d /kernel/nativelambda.mli | |
| parent | aebc10aab3581a0561f96de6b5db6d530a65e658 (diff) | |
Restore discard_dead_code and use it to simplify match-with constructs.
Otherwise, these constructs would be followed by a spurious Kreturn
opcode, when in tail position.
Diffstat (limited to 'kernel/nativelambda.mli')
0 files changed, 0 insertions, 0 deletions