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}
congruence: id{?a}

Submitted on 27 March 2007 at 18:25

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