diff options
author | Jérôme Vouillon <Jerome.Vouillon@pps.jussieu.fr> | 1996-10-08 17:12:42 +0000 |
---|---|---|
committer | Jérôme Vouillon <Jerome.Vouillon@pps.jussieu.fr> | 1996-10-08 17:12:42 +0000 |
commit | dfaf68d43f565231d9bfb89d48ba7e14f99966a7 (patch) | |
tree | b24bd9491801e461d4eb152059c47f483f659e32 | |
parent | 75bed92dab1b301ee499405cc5aee9ff2dc3ffba (diff) | |
download | ocaml-dfaf68d43f565231d9bfb89d48ba7e14f99966a7.tar.gz |
Typos.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1062 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r-- | typing/typeclass.ml | 2 | ||||
-rw-r--r-- | typing/typecore.ml | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/typing/typeclass.ml b/typing/typeclass.ml index 8f261df85a..f2aec7449e 100644 --- a/typing/typeclass.ml +++ b/typing/typeclass.ml @@ -977,7 +977,7 @@ let report_error = function | Virtual_class (cl, met) -> print_string "The class"; print_space (); print_string cl; print_space (); - print_string "should be virtual: its methods"; print_space (); + print_string "should be virtual: its method"; print_space (); print_string met; print_space (); print_string "is undefined" | Closed_class cl -> diff --git a/typing/typecore.ml b/typing/typecore.ml index af0d33763e..2e784fda00 100644 --- a/typing/typecore.ml +++ b/typing/typecore.ml @@ -833,7 +833,7 @@ let report_error = function List.iter (function (t, t') -> mark_loops t; if t != t' then mark_loops t') tr2; - trace true (fun _ -> print_string "is not a subtype of") tr1; + trace true (fun _ -> print_string "is not a subtype of type") tr1; trace false (fun _ -> print_string "is not compatible with type") tr2 | Outside_class -> print_string "Object duplication outside a class definition." |