Ignore:
Timestamp:
Aug 2, 2012, 5:04:37 PM (7 years ago)
Author:
campbell
Message:

Remove jump tables from RTLabs -> RTL.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/RTLabs/RTLabsToRTL.ma

    r2286 r2290  
    10251025  | St_cond r lbl_true lbl_false ⇒ λstmt_typed.
    10261026    ❬translate_cond globals (find_local_env r lenv ?) lbl_true, lbl_false❭
    1027   | St_jumptable r l ⇒ ⊥ (* assert false: not implemented yet *)
    10281027  | St_return ⇒ λ_. ❬inr … (RETURN ?),it❭
    10291028  ].
Note: See TracChangeset for help on using the changeset viewer.