diff options
| author | Gabriel Scherer <gabriel.scherer@gmail.com> | 2017-12-03 19:29:10 +0000 |
|---|---|---|
| committer | Gabriel Scherer <gabriel.scherer@gmail.com> | 2017-12-12 15:35:02 +0100 |
| commit | 91dff3230aaf6b2d6ed3f207dba98160e551d3b6 (patch) | |
| tree | 9e548d57b53f271be5089e9b78e9587ad1263b15 /testsuite/tests/typing-gadts/pr5689.ml | |
| parent | 51b44285d9125c1f22141a08332d814616931a53 (diff) | |
| download | ocaml-91dff3230aaf6b2d6ed3f207dba98160e551d3b6.tar.gz | |
expect-style tests: include the code at the location of error messages
(joint work with Armaël Guéneau)
Diffstat (limited to 'testsuite/tests/typing-gadts/pr5689.ml')
| -rw-r--r-- | testsuite/tests/typing-gadts/pr5689.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/testsuite/tests/typing-gadts/pr5689.ml b/testsuite/tests/typing-gadts/pr5689.ml index 67ff08fc88..49375c0f41 100644 --- a/testsuite/tests/typing-gadts/pr5689.ml +++ b/testsuite/tests/typing-gadts/pr5689.ml @@ -101,6 +101,8 @@ let rec process : type a. a linkp2 -> ast_t -> a inline_t = [%%expect{| type _ linkp2 = Kind : 'a linkp -> ([< inkind ] as 'a) linkp2 Line _, characters 35-43: + | (Kind _, Ast_Text txt) -> Text txt + ^^^^^^^^ Error: This expression has type ([< inkind > `Nonlink ] as 'a) inline_t but an expression was expected of type a inline_t Type 'a = [< `Link | `Nonlink > `Nonlink ] is not compatible with type |