diff options
| author | Richard Eisenberg <rae@cs.brynmawr.edu> | 2019-01-17 17:17:02 -0700 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2019-02-12 02:56:09 -0500 |
| commit | 4a4ae70f09009c5d32696445a06eacb273f364b5 (patch) | |
| tree | 18fe803eab07645375d417709d7c59e5435d89fa /testsuite/tests/polykinds | |
| parent | 012257c15f584069500af2953ab70856f9a1470e (diff) | |
| download | haskell-4a4ae70f09009c5d32696445a06eacb273f364b5.tar.gz | |
Fix #16188
There was an awful lot of zipping going on in
canDecomposableTyConAppOK, and one of the lists being zipped
was too short, causing the result to be too short. Easily
fixed.
Also fixes #16204 and #16225
test case: typecheck/should_compile/T16188
typecheck/should_compile/T16204[ab]
typecheck/should_fail/T16204c
typecheck/should_compile/T16225
Diffstat (limited to 'testsuite/tests/polykinds')
| -rw-r--r-- | testsuite/tests/polykinds/T14172.stderr | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/testsuite/tests/polykinds/T14172.stderr b/testsuite/tests/polykinds/T14172.stderr index f85cf66d79..41790105cb 100644 --- a/testsuite/tests/polykinds/T14172.stderr +++ b/testsuite/tests/polykinds/T14172.stderr @@ -24,18 +24,3 @@ T14172.hs:7:19: error: • Relevant bindings include traverseCompose :: (a -> f b) -> g a -> f (h a') (bound at T14172.hs:7:1) - -T14172.hs:7:19: error: - • Couldn't match type ‘g’ with ‘Compose f'0 g'1’ - ‘g’ is a rigid type variable bound by - the inferred type of - traverseCompose :: (a -> f b) -> g a -> f (h a') - at T14172.hs:7:1-46 - Expected type: (a -> f b) -> g a -> f (h a') - Actual type: (a -> f b) -> Compose f'0 g'1 a -> f (h a') - • In the expression: _Wrapping Compose . traverse - In an equation for ‘traverseCompose’: - traverseCompose = _Wrapping Compose . traverse - • Relevant bindings include - traverseCompose :: (a -> f b) -> g a -> f (h a') - (bound at T14172.hs:7:1) |