[Haskell-cafe] Proposal: Sum type branches as extended types (as Type!Constructor)

[Ozgur Akgun]

On 3 June 2010 16:14, Gabriel Riba <griba2001 at gmail.com> wrote:

> Maybe we could take out importance on the number of _ wildcards
> (constructor
> arity) with a syntax like.
>         li @ (Cons ...)
>         li @ (Nil ...)
>


can't you already use {} to get rid of the underscores?

li@(Cons {})
li@(Nil  {})

-- 
Ozgur Akgun
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20100603/c563bb11/attachment.html