Ignore:
Timestamp:
Jul 19, 2012, 2:42:02 PM (8 years ago)
Author:
tranquil
Message:
  • changed order of parameters of joint_internal_function and genv in semantics
  • in semantics, unified more_sem_unserialized_params and more_sem_genv_params
  • renamed all <language>_params to <LANGUAGE>
File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/joint/linearise.ma

    r2200 r2214  
    652652  ∀p : unserialized_params.
    653653  ∀globals.
    654     joint_internal_function globals (mk_graph_params p)
    655     joint_internal_function globals (mk_lin_params p)
     654    joint_internal_function (mk_graph_params p) globals
     655    joint_internal_function (mk_lin_params p) globals
    656656     (* ∃sigma : identifier_map LabelTag ℕ.
    657657        let g ≝ joint_if_code ?? (pi1 … fin) in
     
    670670                    (stmt_implicit_label … s)) (nth_opt … n c)*) ≝
    671671  λp,globals,f_in.
    672   mk_joint_internal_function globals (mk_lin_params p)
     672  mk_joint_internal_function (mk_lin_params p) globals
    673673   (joint_if_luniverse ?? f_in) (joint_if_runiverse ?? f_in)
    674674   (joint_if_result ?? f_in) (joint_if_params ?? f_in) (joint_if_locals ?? f_in)
Note: See TracChangeset for help on using the changeset viewer.