Changes between Version 5 and Version 6 of IntermediateTypes


Ignore:
Timestamp:
Aug 4, 2006 2:12:55 PM (8 years ago)
Author:
guest
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • IntermediateTypes

    v5 v6  
    3232The representation of types is defined (as the datatype `Type`) in 
    3333!TypeRep, and most of the useful functions on types are defined in 
    34 Type.  TypeRep exports the representation concretely, and should 
     34Type.  !TypeRep exports the representation concretely, and should 
    3535probably not be used outside the few places it is already used.  Type 
    3636re-exports everything useful from !TypeRep, but exports the 
     
    132132for the reflexive coercion, i.e., 
    133133 
    134     {{{Int :: Int :=: Int}}} 
     134    {{{ Int :: Int :=: Int }}} 
    135135 
    136136Coercion variables are