/[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 3562 by emre, Sun Mar 24 22:35:29 2002 UTC revision 3563 by emre, Fri Apr 5 01:16:49 2002 UTC
# Line 63  Line 63 
63  declare tyArray{ 'ty }  declare tyArray{ 'ty }
64  declare tyRawData  declare tyRawData
65  declare tyPointer{ 'var; 'ty }  declare tyPointer{ 'var; 'ty }
66  declare tyFrame{ 'label; 'ty }  declare tyFrame{ 'label }
67    
68  (* Polymorphism. *)  (* Polymorphism. *)
69    
# Line 135  Line 135 
135     tyPointer{ 'var; 'ty } =     tyPointer{ 'var; 'ty } =
136     `"TyPointer(" slot{'var} `"," slot{'ty} `")"     `"TyPointer(" slot{'var} `"," slot{'ty} `")"
137  dform tyFrame_df : except_mode[src] ::  dform tyFrame_df : except_mode[src] ::
138     tyFrame{ 'label; 'ty } =     tyFrame{ 'label } =
139     `"TyFrame(" slot{'label} `"," slot{'ty} `")"     `"TyFrame(" slot{'label} `")"
140    
141  (* Polymorphism. *)  (* Polymorphism. *)
142    
# Line 253  Line 253 
253  let mk_tyPointer_term = mk_dep0_dep0_term tyPointer_opname  let mk_tyPointer_term = mk_dep0_dep0_term tyPointer_opname
254  let dest_tyPointer_term = dest_dep0_dep0_term tyPointer_opname  let dest_tyPointer_term = dest_dep0_dep0_term tyPointer_opname
255    
256  let tyFrame_term = << tyFrame{ 'label; 'ty } >>  let tyFrame_term = << tyFrame{ 'label } >>
257  let tyFrame_opname = opname_of_term tyFrame_term  let tyFrame_opname = opname_of_term tyFrame_term
258  let is_tyFrame_term = is_dep0_dep0_term tyFrame_opname  let is_tyFrame_term = is_dep0_term tyFrame_opname
259  let mk_tyFrame_term = mk_dep0_dep0_term tyFrame_opname  let mk_tyFrame_term = mk_dep0_term tyFrame_opname
260  let dest_tyFrame_term = dest_dep0_dep0_term tyFrame_opname  let dest_tyFrame_term = dest_dep0_term tyFrame_opname
261    
262  (* Polymorphism. *)  (* Polymorphism. *)
263    

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

  ViewVC Help
Powered by ViewVC 1.1.26