Changes between Version 10 and Version 11 of ExplicitTypeApplication


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

--

Legend:

Unmodified
Added
Removed
Modified
  • ExplicitTypeApplication

    v10 v11  
    11= Syntax for explicit type and kind application = 
    22 
    3 We 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 
    4 more clear and direct by introducing syntax for explicit type (and kind) 
    5 application. The proposed concrete syntax is `@ tyvar`, like in the following example: 
     3We propose a replacement and generalisation of [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 allowing explicit type (and kind) application. 
     5We propose the concrete syntax `@ tyvar`, like in the following example: 
    66{{{ 
    77case x of