/[svn]/cduce/trunk/ocamliface/mltypes.ml
ViewVC logotype

Diff of /cduce/trunk/ocamliface/mltypes.ml

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

revision 1147 by abate, Tue Jul 10 18:25:50 2007 UTC revision 1148 by abate, Tue Jul 10 18:25:54 2007 UTC
# Line 78  Line 78 
78    
79  let builtins =  let builtins =
80    List.fold_left (fun m x -> StringMap.add x () m) StringMap.empty    List.fold_left (fun m x -> StringMap.add x () m) StringMap.empty
81      ["list"]      ["list"; "Pervasives.ref" ]
82    
83  let rec unfold seen constrs ty =  let rec unfold seen constrs ty =
84    try    try
# Line 155  Line 155 
155    raise (Error (Printf.sprintf "Unsupport feature (%s) found in .cmi" s))    raise (Error (Printf.sprintf "Unsupport feature (%s) found in .cmi" s))
156    
157  let read_cmi name =  let read_cmi name =
158    Config.load_path := !Librarian.obj_path;    Config.load_path := Config.standard_library :: !Librarian.obj_path;
159    let filename = Misc.find_in_path_uncap !Config.load_path (name ^ ".cmi") in    let filename = Misc.find_in_path_uncap !Config.load_path (name ^ ".cmi") in
160    let sg = Env.read_signature name filename in    let sg = Env.read_signature name filename in
161    ocaml_env := Env.add_signature sg Env.initial;    ocaml_env := Env.add_signature sg Env.initial;
Legend:
Removed from v.1147  
changed lines
  Added in v.1148
CVS Admin">CVS Admin
 ViewVC Help
Powered by ViewVC 1.1.5