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

3 Jun 2010


      On 3 June 2010 16:14, Gabriel Riba  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