Changes between Version 9 and Version 10 of ExplicitTypeApplication


Ignore:
Timestamp:
Dec 15, 2011 10:32:24 AM (4 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