Changeset 2563 for src/ERTL/ERTL.ma


Ignore:
Timestamp:
Dec 19, 2012, 11:58:35 AM (7 years ago)
Author:
piccolo
Message:

Repairing ERTL: show stopper found.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ERTL/ERTL.ma

    r2490 r2563  
    3737    (* call_dest ≝ *) unit
    3838    (* ext_seq ≝ *) ertl_seq
     39    (* ext_seq_labels ≝ *) (λ_.[])
    3940    (* has_tailcall ≝ *) false
    4041    (* paramsT ≝ *) ℕ
Note: See TracChangeset for help on using the changeset viewer.