diff options
| author | Ryan Scott <ryan.gl.scott@gmail.com> | 2019-02-01 19:10:55 -0500 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2019-02-01 19:10:55 -0500 |
| commit | f0cd728fde9bb582930a616cff8d0c5a178c5e14 (patch) | |
| tree | 2bbc4f5fcea598e13db934725ed470b489201b67 /testsuite/tests/typecheck/should_fail/T16255.stderr | |
| parent | ef6b28339b18597a2df1ce39116f1d4e4533804c (diff) | |
| download | haskell-f0cd728fde9bb582930a616cff8d0c5a178c5e14.tar.gz | |
Reject oversaturated VKAs in type family equations
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T16255.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/T16255.stderr | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T16255.stderr b/testsuite/tests/typecheck/should_fail/T16255.stderr new file mode 100644 index 0000000000..74379a316c --- /dev/null +++ b/testsuite/tests/typecheck/should_fail/T16255.stderr @@ -0,0 +1,10 @@ + +T16255.hs:13:3: error: + • Illegal oversaturated visible kind argument: ‘@Bool’ + • In the equations for closed type family ‘F1’ + In the type family declaration for ‘F1’ + +T16255.hs:21:3: error: + • Illegal oversaturated visible kind argument: ‘@Symbol’ + • In the equations for closed type family ‘F2’ + In the type family declaration for ‘F2’ |