Subst.type_expr laisse le type inchange' si la substitution est

l'identite'.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1355 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

typing/subst.ml

@@ -147,6 +147,7 @@ let rec typexp s ty =
   end
 
 let type_expr s ty =
+  if s = identity then ty else
   let ty' = typexp s ty in
   cleanup_types ();
   unmark_type ty';