Ekdohibs
/
ocaml
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

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
master
Gabriel Scherer 2014-12-21 08:26:18 +00:00
parent f517bd2947
commit 4c5c124785
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
testsuite/tests/typing-extensions/open_types.ml.reference
View File

@ -77,7 +77,7 @@ Error: Signature mismatch:
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a value that is not matched:
_
Matching over values of open types must include
Matching over values of extensible variant types must include
a wild card pattern in order to be exhaustive.
type foo = ..
type foo += Foo

2
typing/parmatch.ml
View File

@ -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