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

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

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

revision 3588 by emre, Sat Apr 27 02:45:24 2002 UTC revision 3589 by emre, Sat Apr 27 04:44:46 2002 UTC
# Line 110  Line 110 
110  declare polySub  declare polySub
111  declare rawIntSub{ 'int_precision; 'int_signed }  declare rawIntSub{ 'int_precision; 'int_signed }
112  declare rawFloatSub{ 'float_precision }  declare rawFloatSub{ 'float_precision }
113    declare pointerInfixSub
114  declare pointerSub  declare pointerSub
115  declare functionSub  declare functionSub
116    
# Line 243  Line 244 
244  dform rawFloatSub_df : except_mode[src] ::  dform rawFloatSub_df : except_mode[src] ::
245     rawFloatSub{ 'float_precision } =     rawFloatSub{ 'float_precision } =
246     `"RawFloatSub(" slot{'float_precision} `")"     `"RawFloatSub(" slot{'float_precision} `")"
247    dform pointerInfixSUb_df : except_mode[src] ::
248       pointerInfixSub =
249       `"PointerInfixSub"
250  dform pointerSub_df : except_mode[src] ::  dform pointerSub_df : except_mode[src] ::
251     pointerSub =     pointerSub =
252     `"PointerSub"     `"PointerSub"
# Line 422  Line 426 
426  let mk_rawFloatSub_term = mk_dep0_term rawFloatSub_opname  let mk_rawFloatSub_term = mk_dep0_term rawFloatSub_opname
427  let dest_rawFloatSub_term = dest_dep0_term rawFloatSub_opname  let dest_rawFloatSub_term = dest_dep0_term rawFloatSub_opname
428    
429    let pointerInfixSub_term = << pointerInfixSub >>
430    let pointerInfixSub_opname = opname_of_term pointerInfixSub_term
431    let is_pointerInfixSub_term = is_no_subterms_term pointerInfixSub_opname
432    
433  let pointerSub_term = << pointerSub >>  let pointerSub_term = << pointerSub >>
434  let pointerSub_opname = opname_of_term pointerSub_term  let pointerSub_opname = opname_of_term pointerSub_term
435  let is_pointerSub_term = is_no_subterms_term pointerSub_opname  let is_pointerSub_term = is_no_subterms_term pointerSub_opname

Legend:
Removed from v.3588  
changed lines
  Added in v.3589

  ViewVC Help
Powered by ViewVC 1.1.26