Changes between Version 2 and Version 3 of ExplicitTypeApplication


Ignore:
Timestamp:
Dec 15, 2011 10:09:09 AM (2 years ago)
Author:
dreixel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • ExplicitTypeApplication

    v2 v3  
    22 
    33As a replacement for lexically-scoped type variables (and pattern signatures), 
    4 we want to have explicit type (and kind) application, like in the following 
    5 example: 
     4we want to have syntax for explicit type (and kind) application. We propose 
     5to use the syntax `@ tyvar` for this, like in the following example: 
    66{{{ 
    77case x of