Changes between Version 5 and Version 6 of Commentary/Compiler/TypeType


Ignore:
Timestamp:
Sep 14, 2006 8:27:02 PM (8 years ago)
Author:
nr
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Compiler/TypeType

    v5 v6  
    5151Invariant: if the head of a type application is a {{{TyCon}}}, GHC ''always'' uses the {{{TyConApp}}} constructor, not {{{AppTy}}}. 
    5252This invariant is maintained internally by 'smart constructors'. 
     53A similar invariant applies to {{{FunTy}}}; {{{TyConApp}}} is never used with an arrow type. 
    5354 
    5455== Kinds ==