diff options
| author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2007-02-16 11:18:54 +0000 |
|---|---|---|
| committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2007-02-16 11:18:54 +0000 |
| commit | d78838fdd317d45a969b7d24135c93b0829bade6 (patch) | |
| tree | 489fab3ff0d9a5035553684344b95021570d271c | |
| parent | 4024589fba8f5b2d2e62ca22d1170bee895d51d9 (diff) | |
typo
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7876 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | typing/printtyp.ml | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/typing/printtyp.ml b/typing/printtyp.ml index 1f2be9a10..42ffcafe1 100644 --- a/typing/printtyp.ml +++ b/typing/printtyp.ml @@ -926,16 +926,16 @@ let explanation unif t3 t4 ppf = "@,Self type cannot be unified with a closed object type" | Tfield (l, _, _, _), Tfield (l', _, _, _) when l = l' -> fprintf ppf "@,Types for method %s are incompatible" l - | Tfield (l, _, _, _), _ -> - fprintf ppf - "@,@[Only the first object type has a method %s@]" l | _, Tfield (l, _, _, _) -> fprintf ppf - "@,@[Only the second object type has a method %s@]" l + "@,@[The first object type has no method %s@]" l + | Tfield (l, _, _, _), _ -> + fprintf ppf + "@,@[The second object type has no method %s@]" l | Tvariant row1, Tvariant row2 -> let row1 = row_repr row1 and row2 = row_repr row2 in begin match - row1.row_fields, row1.row_closed, row2.row_fields, row1.row_closed with + row1.row_fields, row1.row_closed, row2.row_fields, row2.row_closed with | [], true, [], true -> fprintf ppf "@,These two variant types have no intersection" | [], true, fields, _ -> |