Expanser les abreviations pour determiner si une chaine litterale est de type string ou format (PR#1501)

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5376 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-01-07 13:48:29 +00:00 · 2003-01-07 13:48:29 +00:00 · 0bca05af09
parent 424b9cf4d4
commit 0bca05af09
1 changed files with 1 additions and 1 deletions
--- a/typing/typecore.ml
+++ b/typing/typecore.ml
@ -1541,7 +1541,7 @@ and type_expect ?in_function env sexp ty_expected =
          exp_loc = sexp.pexp_loc;
          exp_type =
            (* Terrible hack for format strings *)
-            begin match (repr ty_expected).desc with
+            begin match (repr (expand_head env ty_expected)).desc with
              Tconstr(path, _, _) when Path.same path Predef.path_format ->
                type_format sexp.pexp_loc s
            | _ -> instance Predef.type_string