Changes between Version 12 and Version 13 of ExplicitTypeApplication


Ignore:
Timestamp:
May 15, 2012 9:31:18 AM (2 years ago)
Author:
dreixel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • ExplicitTypeApplication

    v12 v13  
    3232 
    3333Note that `Nat` and `Symbol` above are '''kinds'''. 
     34 
     35'''Question: ''' do we need to use `'Nat` instead of `Nat` above for the renamer 
     36to know we want the kind and not the type `Nat`? 
    3437 
    3538Explicit kind arguments can also be used in type classes, and function type