• dreixel's avatar
    Rename ? to OpenKind and ?? to ArgKind · 18c7aea0
    dreixel authored
    The previous names were not informative at all, and now we have
    named kinds like Constraint and datatype promotion to kind, so
    we might as well name these too.
    
    I tried to update some comments to the new names, but certainly
    many references to the old names remain.
    18c7aea0
TcSimplify.lhs 58.2 KB