diff options
| author | Gabriel Scherer <gabriel.scherer@gmail.com> | 2014-12-21 08:26:18 +0000 |
|---|---|---|
| committer | Gabriel Scherer <gabriel.scherer@gmail.com> | 2014-12-21 08:26:18 +0000 |
| commit | 32cfeaaa5073f9db2a09a98cd9b355a01f98a104 (patch) | |
| tree | 77ae4be5b1488b71bec476d619a1c5ff74ff384f /typing | |
| parent | 6708657e996c95fb36f516555b2d5a071a363804 (diff) | |
| download | ocaml-32cfeaaa5073f9db2a09a98cd9b355a01f98a104.tar.gz | |
PR#6466: use "extensible variant" rather than "open" types in error message
(Leo White)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15715 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'typing')
| -rw-r--r-- | typing/parmatch.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/typing/parmatch.ml b/typing/parmatch.ml index 5e8f99f7bf..c2c7ceba38 100644 --- a/typing/parmatch.ml +++ b/typing/parmatch.ml @@ -1812,7 +1812,7 @@ let do_check_partial ?pred exhaust loc casel pss = match pss with let errmsg = match v.pat_desc with Tpat_construct (_, {cstr_name="*extension*"}, _) -> - "_\nMatching over values of open types must include\n\ + "_\nMatching over values of extensible variant types must include\n\ a wild card pattern in order to be exhaustive." | _ -> try let buf = Buffer.create 16 in |