Changes between Initial Version and Version 1 of Ticket #14331, comment 2


Ignore:
Timestamp:
Oct 9, 2017 2:08:05 AM (2 years ago)
Author:
goldfire
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #14331, comment 2

    initial v1  
    77but that GHC doesn't quantify `k` the right way. So it's a bug in kind quantification, not the free-floating kind variable check.
    88
    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.)