Changes between Initial Version and Version 1 of Ticket #9223, comment 11


Ignore:
Timestamp:
Dec 14, 2014 9:38:10 PM (5 years ago)
Author:
porges
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #9223, comment 11

    initial v1  
    33    forall t. (forall m. (C m, m ~ t) => m) -> t
    44
    5 The solution was to write instead:
     5This marked 't' untouchable. The solution was to write instead:
    66
    77    forall t. ((C t) => t) -> t