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

On 4 June 2010 03:18, Ozgur Akgun wrote:

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  {})

Even better: you shouldn't need the parentheses: li@Cons{} li@Nil{} -- Ivan Lazar Miljenovic Ivan.Miljenovic@gmail.com IvanMiljenovic.wordpress.com