Changes between Version 97 and Version 98 of RichardAndSimon


Ignore:
Timestamp:
Mar 7, 2019 5:30:41 PM (5 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • RichardAndSimon

    v97 v98  
    77We should be clear about the dependencies between items on this list.
    88
    9 * `tcSyntaxOp` simplification: #14963. See comment:11:ticket:14963
     9* `tcSyntaxOp` simplification: #14963. See comment:11:ticket:14963. But we have a new and simpler plan, sketched in our Slack channel.
    1010
    1111* DONE [https://github.com/ghc-proposals/ghc-proposals/pull/81 Proposal 81: Visible dependent quantification].  Just syntax!  Lets you say `forall a -> ty` in types.  See [wiki:GhcKinds/KindInference] and [wiki:GhcKinds/KindInference/Examples].  #16326.