STR-712: Difference behavior between congruence & match and match
I am wonder why those two notation have a different behavior because as I know it is the only case where the congruence and the match differ when we replace all “id” by “_”
Why the matching check is there is only one element, and why the congruence match the list.
match: ?_{a}
Submitted on 27 March 2007 at 18:25
congruence: id{?a}
Issue Log
On 28 January 2013 at 14:47 Eelco Visser removed tag 0.18
On 28 January 2013 at 14:47 Eelco Visser tagged interesting
Log in to post comments