error message

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6976 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-07-22 04:30:19 +00:00 · 2005-07-22 04:30:19 +00:00 · c9fb98c676
parent 8e25cec9c4
commit c9fb98c676
1 changed files with 1 additions and 1 deletions
--- a/typing/typetexp.ml
+++ b/typing/typetexp.ml
@ -434,7 +434,7 @@ let globalize_used_variables env bindings fixed =
          raise (Error(loc, Type_mismatch trace))
      | Not_found ->
          if fixed && (repr ty).desc = Tvar then
-            raise(Error(loc, Unbound_type_variable name));
+            raise(Error(loc, Unbound_type_variable ("'"^name)));
          let v =
            match bindings with
              Some r ->