/[svn]/cduce/branches/modified-refs/types/builtin_defs.ml
ViewVC logotype

Diff of /cduce/branches/modified-refs/types/builtin_defs.ml

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

revision 4072 by castagna, Thu Dec 15 15:42:52 2011 UTC revision 4073 by castagna, Thu Dec 15 16:06:22 2011 UTC
# Line 152  Line 152 
152    LabelMap.from_list_disj [ get_label, get; set_label, set ]    LabelMap.from_list_disj [ get_label, get; set_label, set ]
153    
154  let ref_type t =  let ref_type t =
155    let get = t    let get = t   (* Types.cons (Types.arrow Sequence.nil_node t) *)
156    and set = Types.cons (Types.arrow t Sequence.nil_node) in    and set = Types.cons (Types.arrow t Sequence.nil_node) in
157    Types.record_fields (false , mk_ref ~get ~set)    Types.record_fields (false , mk_ref ~get ~set)
158    
Legend:
Removed from v.4072  
changed lines
  Added in v.4073
CVS Admin">CVS Admin
 ViewVC Help
Powered by ViewVC 1.1.5