/[mojave]/metaprl/theories/mc/mp_mc_fir_exp.ml
ViewVC logotype

Diff of /metaprl/theories/mc/mp_mc_fir_exp.ml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 3561 by emre, Sun Mar 24 22:35:29 2002 UTC revision 3562 by emre, Wed Apr 3 08:37:31 2002 UTC
# Line 4  Line 4 
4   * Define terms to represent FIR types and terms.   * Define terms to represent FIR types and terms.
5   * Specific FIR types represented here: unop, binop, sub_block, sub_value,   * Specific FIR types represented here: unop, binop, sub_block, sub_value,
6   * sub_index, sub_script, atom, alloc_op, tailop, pred_nop, pred_unop,   * sub_index, sub_script, atom, alloc_op, tailop, pred_nop, pred_unop,
7   * pred_binop, pred, debug_line, debug_vars, debug_info, exp.   * pred_binop, pred, debug_line, debug_vars, debug_info, exp, fundef.
8   *   *
9   * ----------------------------------------------------------------   * ----------------------------------------------------------------
10   *   *
# Line 328  Line 328 
328    
329  declare debug{ 'debug_info; 'exp }  declare debug{ 'debug_info; 'exp }
330    
331    (*
332     * Function definition.
333     *)
334    
335    declare fundef{ 'debug_line; 'ty; 'var_list; 'exp }
336    
337  (*************************************************************************  (*************************************************************************
338   * Display forms.   * Display forms.
339   *************************************************************************)   *************************************************************************)
# Line 926  Line 932 
932     debug{ 'debug_info; 'exp } =     debug{ 'debug_info; 'exp } =
933     `"Debug(" slot{'debug_info} `"," slot{'exp} `")"     `"Debug(" slot{'debug_info} `"," slot{'exp} `")"
934    
935    (*
936     * Function definition.
937     *)
938    
939    dform fundef_df : except_mode[src] ::
940       fundef{ 'debug_line; 'ty; 'var_list; 'exp } =
941       `"Fundef(" slot{'debug_line} `"," slot{'ty} `","
942       slot{'var_list} `"," slot{'exp} `")"
943    
944  (*************************************************************************  (*************************************************************************
945   * Term operations.   * Term operations.
946   *************************************************************************)   *************************************************************************)
# Line 1821  Line 1836 
1836  let is_debug_term = is_dep0_dep0_term debug_opname  let is_debug_term = is_dep0_dep0_term debug_opname
1837  let mk_debug_term = mk_dep0_dep0_term debug_opname  let mk_debug_term = mk_dep0_dep0_term debug_opname
1838  let dest_debug_term = dest_dep0_dep0_term debug_opname  let dest_debug_term = dest_dep0_dep0_term debug_opname
1839    
1840    (*
1841     * Function definition.
1842     *)
1843    
1844    let fundef_term = << fundef{ 'debug_line; 'ty; 'var_list; 'exp } >>
1845    let fundef_opname = opname_of_term fundef_term
1846    let is_fundef_term = is_4_dep0_term fundef_opname
1847    let mk_fundef_term = mk_4_dep0_term fundef_opname
1848    let dest_fundef_term = dest_4_dep0_term fundef_opname

Legend:
Removed from v.3561  
changed lines
  Added in v.3562

  ViewVC Help
Powered by ViewVC 1.1.26