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

Diff of /metaprl/theories/mc/mp_mc_connect_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 77  Line 77 
77      | TyRawData ->      | TyRawData ->
78           tyRawData_term           tyRawData_term
79      | TyPointer (v, t) ->      | TyPointer (v, t) ->
80           mk_tyPointer_term (term_of_var v)      (term_of_ty t)           mk_tyPointer_term (term_of_var v) (term_of_ty t)
81      | TyFrame (lbl, t) ->      | TyFrame lbl ->
82           mk_tyFrame_term   (term_of_label lbl)  (term_of_ty t)           mk_tyFrame_term   (term_of_label lbl)
83    
84        (* Polymorphism. *)        (* Polymorphism. *)
85      | TyVar tv ->      | TyVar tv ->
# Line 146  Line 146 
146        let v, t = dest_tyPointer_term t in        let v, t = dest_tyPointer_term t in
147           TyPointer (var_of_term v) (ty_of_term t)           TyPointer (var_of_term v) (ty_of_term t)
148     else if is_tyFrame_term t then     else if is_tyFrame_term t then
149        let lbl, t = dest_tyFrame_term t in        TyFrame (label_of_term (dest_tyFrame_term t))
          TyFrame (label_of_term lbl) (ty_of_term t)  
150    
151     (* Polymorphism. *)     (* Polymorphism. *)
152     else if is_tyVar_term t then     else if is_tyVar_term t then

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

  ViewVC Help
Powered by ViewVC 1.1.26