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


Ignore:
Timestamp:
Sep 14, 2006 8:24:58 PM (9 years ago)
Author:
nr
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Compiler/TypeType

    v4 v5  
    4848data TyNote = FTVNote TyVarSet  -- The free type variables of the noted expression
    4949}}}
     50
     51Invariant: if the head of a type application is a {{{TyCon}}}, GHC ''always'' uses the {{{TyConApp}}} constructor, not {{{AppTy}}}.
     52This invariant is maintained internally by 'smart constructors'.
    5053
    5154== Kinds ==