Source

mutated_ocaml / toplevel / genprintval.ml

Diff from to

toplevel/genprintval.ml

 (*                                                                     *)
 (***********************************************************************)
 
-(* $Id: genprintval.ml 12511 2012-05-30 13:29:48Z lefessan $ *)
+(* $Id: genprintval.ml 12800 2012-07-30 18:59:07Z doligez $ *)
 
 (* To print values *)
 
 
 module type EVALPATH =
   sig
-    type value
-    val eval_path: Path.t -> value
+    type valu
+    val eval_path: Path.t -> valu
     exception Error
-    val same_value: value -> value -> bool
+    val same_value: valu -> valu -> bool
   end
 
 module type S =
           Env.t -> t -> type_expr -> Outcometree.out_value
   end
 
-module Make(O : OBJ)(EVP : EVALPATH with type value = O.t) = struct
+module Make(O : OBJ)(EVP : EVALPATH with type valu = O.t) = struct
 
     type t = O.t
 
                       else Cstr_constant(O.obj obj) in
                     let (constr_name, constr_args,ret_type) =
                       Datarepr.find_constr_by_tag tag constr_list in
-		    let type_params =
-		      match ret_type with
-			Some t ->
-			  begin match (Ctype.repr t).desc with
-			    Tconstr (_,params,_) ->
-			      params
-			  | _ -> assert false end
-		      | None -> decl.type_params
-		    in
+                    let type_params =
+                      match ret_type with
+                        Some t ->
+                          begin match (Ctype.repr t).desc with
+                            Tconstr (_,params,_) ->
+                              params
+                          | _ -> assert false end
+                      | None -> decl.type_params
+                    in
                     let ty_args =
                       List.map
                         (function ty ->