Changeset 2841 for src/semantics.ma


Ignore:
Timestamp:
Mar 11, 2013, 12:40:46 PM (7 years ago)
Author:
sacerdot
Message:

The compiler now computes also the stack cost for every intermediate
back-end language. The extracted compiler now executes all back-end
passes up to the assembly lanuguage (excluded ATM).

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/semantics.ma

    r2828 r2841  
    3838     mk_preclassified_system_pass lin_pass (joint_preclassified_system LIN_semantics) ?
    3939  ].
    40 try %
    41 whd in ⊢ (??%%);
    42 cases daemon (* XXX False! Leads to core dump! *)
     40%
    4341qed.
    4442
Note: See TracChangeset for help on using the changeset viewer.