Changes between Version 20 and Version 21 of KindFact


Ignore:
Timestamp:
Jul 13, 2014 9:40:00 AM (5 years ago)
Author:
heisenbug
Comment:

different predicate

Legend:

Unmodified
Added
Removed
Modified
  • KindFact

    v20 v21  
    109109 * A constraint type (of kind `Constraint`) can take one of these forms
    110110   * '''Equality constraint''': `TyConApp eqTyCon [ty1, ty2]`
    111    * '''Class constraint''': `TyConApp tc [ty1, ty2]`, where `tc` is a `TyCon` whose `classTyCon_maybe` is `Just cls`.
     111   * '''Class constraint''': `TyConApp tc [ty1, ty2]`, where `tc` is a `TyCon` whose `tyConClass_maybe` is `Just cls`.
    112112   * '''Implicit parameter''': `TyConApp tc [ty1]`, where `tc` is a `TyCon` whose `tyConIP_maybe` is `Just ip`.
    113113   * '''Tuple constraint''': `TyConApp tup_tc [ty1, ..., tyn]`, where `tup_tc` is a constraint tuple `TyCon`.