Ignore:
Timestamp:
Mar 7, 2013, 6:03:18 PM (7 years ago)
Author:
tranquil
Message:

added local_stacksize to joint internal functions to accomodate for locals in the stack inherited from the front end

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/joint/TranslateUtils.ma

    r2806 r2808  
    571571    runiv
    572572    (init_ret … data) (init_params … data) (init_stack_size … data)
     573    (joint_if_local_stacksize … def)
    573574    (add ?? (empty_map ? (joint_statement ??)) entry (RETURN …))
    574575    («pi1 … entry, mem_set_add_id …») in
Note: See TracChangeset for help on using the changeset viewer.