Changes between Version 9 and Version 10 of ExplicitTypeApplication


Ignore:
Timestamp:
Dec 15, 2011 10:32:24 AM (3 years ago)
Author:
dreixel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • ExplicitTypeApplication

    v9 v10  
    11= Syntax for explicit type and kind application = 
    22 
    3 As a replacement for lexically-scoped type variables (and pattern signatures), 
    4 we want to have syntax for explicit type (and kind) application. We propose 
    5 to use the syntax `@ tyvar` for this, like in the following example: 
     3We propose a replacement for [http://www.haskell.org/ghc/docs/latest/html/users_guide/other-type-extensions.html#scoped-type-variables lexically-scoped type variables] (and pattern signatures) that is 
     4more clear and direct by introducing syntax for explicit type (and kind) 
     5application. The proposed concrete syntax is `@ tyvar`, like in the following example: 
    66{{{ 
    77case x of