diff options
| author | Alasdair Armstrong | 2019-03-19 17:06:48 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-03-19 17:11:54 +0000 |
| commit | c7e5eae97e75036d700ba437a5c295c6fb3874a4 (patch) | |
| tree | 8057878d548a6f843d62121ef762ca478c6f89b0 /src/jib/jib_compile.ml | |
| parent | 3f08b437b3b794cf89bde54fdb2e620534793f4d (diff) | |
C: Some simplification
Remove unused experimental optimizations
Diffstat (limited to 'src/jib/jib_compile.ml')
| -rw-r--r-- | src/jib/jib_compile.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/jib/jib_compile.ml b/src/jib/jib_compile.ml index 85a77d2e..87e0b050 100644 --- a/src/jib/jib_compile.ml +++ b/src/jib/jib_compile.ml @@ -964,7 +964,7 @@ let rec map_try_block f (I_aux (instr, aux)) = | I_decl _ | I_reset _ | I_init _ | I_reinit _ -> instr | I_if (cval, instrs1, instrs2, ctyp) -> I_if (cval, List.map (map_try_block f) instrs1, List.map (map_try_block f) instrs2, ctyp) - | I_funcall _ | I_copy _ | I_alias _ | I_clear _ | I_throw _ | I_return _ -> instr + | I_funcall _ | I_copy _ | I_clear _ | I_throw _ | I_return _ -> instr | I_block instrs -> I_block (List.map (map_try_block f) instrs) | I_try_block instrs -> I_try_block (f (List.map (map_try_block f) instrs)) | I_comment _ | I_label _ | I_goto _ | I_raw _ | I_jump _ | I_match_failure | I_undefined _ | I_end -> instr |