Changes between Version 18 and Version 19 of GhcKinds/KindInference


Ignore:
Timestamp:
Jun 19, 2014 9:33:05 PM (5 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • GhcKinds/KindInference

    v18 v19  
    4242
    4343A somewhat simpler, but more permissive definition, and one that covers classes, is this:
    44  * A class or datatype is said to have a CUSK if and only if all of its type variables are annotated. Otherwise, like (BASELINE).
     44 * A class or datatype is said to have a CUSK if and only if all of its type variables are annotated.
    4545
    4646See comment:19:ticket:9200 for more exposition.