Changes between Version 5 and Version 6 of IntermediateTypes


Ignore:
Timestamp:
Aug 4, 2006 2:12:55 PM (9 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