/[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 3579 by emre, Fri Apr 5 01:16:49 2002 UTC revision 3580 by emre, Fri Apr 19 08:09:21 2002 UTC
# Line 76  Line 76 
76           mk_tyArray_term (term_of_ty t)           mk_tyArray_term (term_of_ty t)
77      | TyRawData ->      | TyRawData ->
78           tyRawData_term           tyRawData_term
79      | TyPointer (v, t) ->      | TyPointer sub_block ->
80           mk_tyPointer_term (term_of_var v) (term_of_ty t)           mk_tyPointer_term (term_of_sub_block sub_block)
81      | TyFrame lbl ->      | TyFrame lbl ->
82           mk_tyFrame_term   (term_of_label lbl)           mk_tyFrame_term   (term_of_label lbl)
83    
# Line 102  Line 102 
102           mk_tyCase_term    (term_of_ty t)           mk_tyCase_term    (term_of_ty t)
103      | TyObject (tv, t) ->      | TyObject (tv, t) ->
104           mk_tyObject_term  (term_of_ty_var tv) (term_of_ty t)           mk_tyObject_term  (term_of_ty_var tv) (term_of_ty t)
     | TyOption t ->  
          mk_tyOption_term  (term_of_ty t)  
105    
106        (* Type should be inferred. *)        (* Type should be inferred. *)
107      | TyDelayed -> tyDelayed_term      | TyDelayed -> tyDelayed_term
# Line 143  Line 141 
141     else if is_tyRawData_term t then     else if is_tyRawData_term t then
142        TyRawData        TyRawData
143     else if is_tyPointer_term t then     else if is_tyPointer_term t then
144        let v, t = dest_tyPointer_term t in        TyPointer (sub_block_of_term (dest_tyPointer_term t))
          TyPointer (var_of_term v) (ty_of_term t)  
145     else if is_tyFrame_term t then     else if is_tyFrame_term t then
146        TyFrame (label_of_term (dest_tyFrame_term t))        TyFrame (label_of_term (dest_tyFrame_term t))
147    
# Line 170  Line 167 
167     else if is_tyObject_term t then     else if is_tyObject_term t then
168        let tv, t = dest_tyObject_term t in        let tv, t = dest_tyObject_term t in
169           TyObject (ty_var_of_term tv) (ty_of_term t)           TyObject (ty_var_of_term tv) (ty_of_term t)
    else if is_tyOption_term t then  
       TyOption (ty_of_term (dest_tyOption_term t))  
170    
171     (* Type should be inferred. *)     (* Type should be inferred. *)
172     else if is_tyDelayed_term t then     else if is_tyDelayed_term t then

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

  ViewVC Help
Powered by ViewVC 1.1.26