Changes between Initial Version and Version 1 of Ticket #14164, comment 15


Ignore:
Timestamp:
Jul 12, 2018 10:45:30 AM (17 months ago)
Author:
simonpj
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #14164, comment 15

    initial v1  
    66
    77* Comment `substTy` and `substCo`, in the variable cases, to explain why we do not need to substitute in the kind of a type variable, or the type of a coercion variable.
     8
     9Reopening just to track this.