Changes between Version 16 and Version 17 of ExplicitTypeApplication


Ignore:
Timestamp:
Jun 3, 2013 6:27:23 PM (2 years ago)
Author:
Hamidhasan
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • ExplicitTypeApplication

    v16 v17  
    152152}}}
    153153
    154 For more information on explicit type application, see #4466.
    155 
    156154=== Syntax for promoted datatypes ===
    157155With `-XPolyKinds` on, we can also match/apply kind arguments. This introduces the
     
    184182type Typeable1 = Typeable @(* -> *)
    185183}}}
     184
     185For more information on explicit type application, see #4466.