Changes between Version 20 and Version 21 of Commentary/Compiler/TypeType


Ignore:
Timestamp:
Jun 7, 2013 10:12:06 AM (11 months ago)
Author:
erikd
Comment:

Update Type representation to refect GHC 7.7.20130606

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Compiler/TypeType

    v20 v21  
    6262Here, then is the representation of types (see [[GhcFile(compiler/types/TypeRep.lhs)]] for more details): 
    6363{{{ 
    64 data Type = TyVarTy TyVar                       -- Type variable 
     64data Type = TyVarTy Var                         -- Type variable 
    6565          | AppTy Type Type                     -- Application 
    6666          | TyConApp TyCon [Type]               -- Type constructor application 
    6767          | FunTy Type Type                     -- Arrow type 
    68           | ForAllTy TyVar Type                 -- Polymorphic type 
    69           | PredTy PredType                     -- Type constraint 
    70           | NoteTy TyNote Type                  -- Annotation 
     68          | ForAllTy Var Type                   -- Polymorphic type 
     69          | LitTy TyLit                         -- Type literals 
    7170 
    72 data PredType = ClassP Class [Type]             -- Class predicate 
    73               | IParam (IPName Name) Type       -- Implicit parameter 
    74               | EqPred Type Type                -- Equality predicate (ty1 :=: ty2) 
    75  
    76 data TyNote = FTVNote TyVarSet  -- The free type variables of the noted expression 
     71data TyLit = NumTyLit Integer                   -- A number 
     72           | StrTyLit FastString                -- A string 
    7773}}} 
    7874