Changes between Version 49 and Version 50 of GhcKinds/KindInference


Ignore:
Timestamp:
Dec 2, 2018 8:50:36 PM (12 months ago)
Author:
RyanGlScott
Comment:

Mention #12643

Legend:

Unmodified
Added
Removed
Modified
  • GhcKinds/KindInference

    v49 v50  
    33This page summarises several alternative designs for doing kind inference for
    44types and classes, under `-XPolyKinds`.
    5 Though originally written with respect to #9200, there are more issues at play here. Relevant other tickets: #9201, #9427, #14451, #14668, #14847, #15142, #15561, #15987, and (to a lesser extent) #12088, which is all about instances.
     5Though originally written with respect to #9200, there are more issues at play here. Relevant other tickets: #9201, #9427, #12643, #14451, #14668, #14847, #15142, #15561, #15987, and (to a lesser extent) #12088, which is all about instances.
    66
    77See also GhcKinds/KindInference/Examples for a growing set of examples to consider when evaluating any new algorithm.