Changes between Version 12 and Version 13 of ExplicitTypeApplication


Ignore:
Timestamp:
May 15, 2012 9:31:18 AM (3 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