diff options
author | Richard Eisenberg <eir@cis.upenn.edu> | 2016-04-26 10:50:33 -0400 |
---|---|---|
committer | Richard Eisenberg <eir@cis.upenn.edu> | 2016-04-29 09:01:42 -0400 |
commit | c5919f75afab9dd6f0a4a2670402024cece5da57 (patch) | |
tree | 8b4f4b5310705b4665b3b7599dad3de77e2caaa3 /testsuite/tests/ghci/scripts/T7873.stderr | |
parent | a2970f883d1018107f745531aab56e872311d8c7 (diff) | |
download | haskell-c5919f75afab9dd6f0a4a2670402024cece5da57.tar.gz |
Remove the incredibly hairy splitTelescopeTvs.
This patch removes splitTelescopeTvs by adding information about
scoped type variables to TcTyCon. Vast simplification!
This also fixes #11821 by bringing only unzonked vars into scope.
Test case: polykinds/T11821
Diffstat (limited to 'testsuite/tests/ghci/scripts/T7873.stderr')
-rw-r--r-- | testsuite/tests/ghci/scripts/T7873.stderr | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/testsuite/tests/ghci/scripts/T7873.stderr b/testsuite/tests/ghci/scripts/T7873.stderr index 3b6f4f64c1..ad8a55b70a 100644 --- a/testsuite/tests/ghci/scripts/T7873.stderr +++ b/testsuite/tests/ghci/scripts/T7873.stderr @@ -1,7 +1,6 @@ <interactive>:2:1: error: - • Kind variable ‘k’ is implicitly bound in datatype - ‘D1’, but does not appear as the kind of any - of its type variables. Perhaps you meant - to bind it (with TypeInType) explicitly somewhere? - • In the data declaration for ‘D1’ + Kind variable ‘k’ is implicitly bound in datatype + ‘D1’, but does not appear as the kind of any + of its type variables. Perhaps you meant + to bind it explicitly somewhere? |