Changes between Version 16 and Version 17 of ExplicitTypeApplication


Ignore:
Timestamp:
Jun 3, 2013 6:27:23 PM (11 months 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.