Changes between Version 19 and Version 20 of KindFact


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

--

Legend:

Unmodified
Added
Removed
Modified
  • KindFact

    v19 v20  
    114114   * '''Constraint variable''': `TyVarTy tv` where `tv` has kind `Constraint`.
    115115
    116  * Constraint types (ie types with kind `Constraint`) are always boxed. The constraint solver in the type checker deals solely in terms of boxed constraints.
     116 * Constraint types (i.e. types with kind `Constraint`) are always boxed. The constraint solver in the type checker deals solely in terms of boxed constraints.
    117117
    118118 * '''Implicit parameters''' have a type written `?x::Int`, say.  Concretely, this is represented as `TyConApp ?x [intTy]`, where `intTy` is the representation of the type for `Int`, and `?x` is a `TyCon` of kind `(* -> *)`.  There is an infinite family of such implicit-parameter `TyCon`s; see data constructor `IPTyCon` in data type `TyConParent` in `TyCon`.