Changes between Initial Version and Version 1 of Ticket #14331, comment 2
- Timestamp:
- Oct 9, 2017 2:08:05 AM (2 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #14331, comment 2
initial v1 7 7 but that GHC doesn't quantify `k` the right way. So it's a bug in kind quantification, not the free-floating kind variable check. 8 8 9 (Sidenote: that `forall` isn't allowed there. But perhaps it should be incorporated into [https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0007-instance-foralls.rst the recent proposal expanding where `forall` can be used.)9 (Sidenote: that `forall` isn't allowed there. But perhaps it should be incorporated into [https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0007-instance-foralls.rst the recent proposal] expanding where `forall` can be used.)