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

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

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

revision 3563 by emre, Fri Apr 5 01:16:49 2002 UTC revision 3580 by emre, Fri Apr 19 08:09:21 2002 UTC
# Line 62  Line 62 
62  declare tyTuple{ 'tuple_class; 'ty_list }  declare tyTuple{ 'tuple_class; 'ty_list }
63  declare tyArray{ 'ty }  declare tyArray{ 'ty }
64  declare tyRawData  declare tyRawData
65  declare tyPointer{ 'var; 'ty }  declare tyPointer{ 'sub_block }
66  declare tyFrame{ 'label }  declare tyFrame{ 'label }
67    
68  (* Polymorphism. *)  (* Polymorphism. *)
# Line 77  Line 77 
77    
78  declare tyCase{ 'ty }  declare tyCase{ 'ty }
79  declare tyObject{ 'ty_var; 'ty }  declare tyObject{ 'ty_var; 'ty }
 declare tyOption{ 'ty }  
80    
81  (* Delayed type. *)  (* Delayed type. *)
82    
# Line 132  Line 131 
131     tyRawData =     tyRawData =
132     `"TyRawData"     `"TyRawData"
133  dform tyPointer_df : except_mode[src] ::  dform tyPointer_df : except_mode[src] ::
134     tyPointer{ 'var; 'ty } =     tyPointer{ 'sub_block } =
135     `"TyPointer(" slot{'var} `"," slot{'ty} `")"     `"TyPointer(" slot{'sub_block} `")"
136  dform tyFrame_df : except_mode[src] ::  dform tyFrame_df : except_mode[src] ::
137     tyFrame{ 'label } =     tyFrame{ 'label } =
138     `"TyFrame(" slot{'label} `")"     `"TyFrame(" slot{'label} `")"
# Line 164  Line 163 
163  dform tyObject_df : except_mode[src] ::  dform tyObject_df : except_mode[src] ::
164     tyObject{ 'ty_var; 'ty } =     tyObject{ 'ty_var; 'ty } =
165     `"TyObject(" slot{'ty_var} `"," slot{'ty} `")"     `"TyObject(" slot{'ty_var} `"," slot{'ty} `")"
 dform tyOption_df : except_mode[src] ::  
    tyOption{ 'ty } =  
    `"TyOption(" slot{'ty} `")"  
166    
167  (* Delayed type.  Type should be inferred. *)  (* Delayed type.  Type should be inferred. *)
168    
# Line 247  Line 243 
243  let tyRawData_opname = opname_of_term tyRawData_term  let tyRawData_opname = opname_of_term tyRawData_term
244  let is_tyRawData_term = is_no_subterms_term tyRawData_opname  let is_tyRawData_term = is_no_subterms_term tyRawData_opname
245    
246  let tyPointer_term = << tyPointer{ 'var; 'ty } >>  let tyPointer_term = << tyPointer{ 'sub_block } >>
247  let tyPointer_opname = opname_of_term tyPointer_term  let tyPointer_opname = opname_of_term tyPointer_term
248  let is_tyPointer_term = is_dep0_dep0_term tyPointer_opname  let is_tyPointer_term = is_dep0_term tyPointer_opname
249  let mk_tyPointer_term = mk_dep0_dep0_term tyPointer_opname  let mk_tyPointer_term = mk_dep0_term tyPointer_opname
250  let dest_tyPointer_term = dest_dep0_dep0_term tyPointer_opname  let dest_tyPointer_term = dest_dep0_term tyPointer_opname
251    
252  let tyFrame_term = << tyFrame{ 'label } >>  let tyFrame_term = << tyFrame{ 'label } >>
253  let tyFrame_opname = opname_of_term tyFrame_term  let tyFrame_opname = opname_of_term tyFrame_term
# Line 305  Line 301 
301  let mk_tyObject_term = mk_dep0_dep0_term tyObject_opname  let mk_tyObject_term = mk_dep0_dep0_term tyObject_opname
302  let dest_tyObject_term = dest_dep0_dep0_term tyObject_opname  let dest_tyObject_term = dest_dep0_dep0_term tyObject_opname
303    
 let tyOption_term = << tyOption{ 'ty } >>  
 let tyOption_opname = opname_of_term tyOption_term  
 let is_tyOption_term = is_dep0_term tyOption_opname  
 let mk_tyOption_term = mk_dep0_term tyOption_opname  
 let dest_tyOption_term = dest_dep0_term tyOption_opname  
   
304  (* Delayed type. *)  (* Delayed type. *)
305    
306  let tyDelayed_term = << tyDelayed >>  let tyDelayed_term = << tyDelayed >>

Legend:
Removed from v.3563  
changed lines
  Added in v.3580

  ViewVC Help
Powered by ViewVC 1.1.26