Quoted patterns with both @ and ::type

[GoogleCodeExporter]

In at least some cases, Pure will incorrectly quote special expressions where 
an @ and a ::type tag are attached to the same position:

> '(case x of a,b@(c::int) = b end);
__case__ x [a,c __type__ int-->b]
> case a,1 of a,(b@(c::int)) = b end;
1
> eval $ '(case a,1 of a,(b@(c::int)) = b end);
b

What is the expected output? What do you see instead?
Expect the eval $ '(case ...) to return 1, just as the bare case ... does

What version of the product are you using? On what operating system?
Pure 0.53 on FreeBSD

Original issue reported on code.google.com by dubious...@gmail.com on 16 Jun 2012 at 6:28

[GoogleCodeExporter]

This issue was closed by revision ca73a9d69aad.

Original comment by aggraef@gmail.com on 17 Jun 2012 at 9:35

• Changed state: Fixed

[GoogleCodeExporter]

Original comment by aggraef@gmail.com on 17 Jun 2012 at 9:36