diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2003-01-07 13:48:29 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2003-01-07 13:48:29 +0000 |
| commit | 0bca05af096eacc483038545252d4209644dd85a (patch) | |
| tree | 130a74778c97efdfcf96145feb84afa7f05628d3 | |
| parent | 424b9cf4d40da771f4d7bf346c9b95a7f272c235 (diff) | |
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
| -rw-r--r-- | typing/typecore.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/typing/typecore.ml b/typing/typecore.ml index db5e678c5..34acbeb40 100644 --- 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 |