Ignore:
Timestamp:
Jun 6, 2011, 3:55:23 PM (9 years ago)
Author:
campbell
Message:

Start bringing RTLabs into line with the prototype compiler:

  • a coarse-grained type is associated with every register
  • the special addressing modes have been removed
File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/Cminor/initialisation.ma

    r881 r887  
    5555          match f' with
    5656          [ Internal f ⇒ 〈id, Internal ? (mk_internal_function
    57                                            (f_sig f)
     57                                           (f_return f)
    5858                                           (f_params f)
    5959                                           (f_vars f)
    60                                            (f_ptrs f)
    6160                                           (f_stacksize f)
    6261                                           (St_seq s (f_body f)))〉
Note: See TracChangeset for help on using the changeset viewer.