[Haskell-cafe] Pattern matching does not work like this?

Hans Aberg haberg at math.su.se
Wed Jul 15 07:08:31 EDT 2009

On 15 Jul 2009, at 12:25, Eugene Kirpichov wrote:

> If ++ could be pattern matched, what should have been the result of
> "let (x++y)=[1,2,3] in (x,y)"?

It will branch. In terms of unification, you get a list of  


More information about the Haskell-Cafe mailing list