On Nov 4, 2010, at 5:51 PM, Lukas Renggli wrote:

...

ok I added the files this is better.

Yes, I could read the french article now.

I am not quite convinced with the explanation of the back-tick though:

"Un schéma peut contenir des variables en utilisant le backquote ou accent grave. Ainsi, `key représente n’importe quelle variable, mais pas une expression."

"`key" is a *meta-variable*, not necessarily a variable in the matched tree. Depending on the context it can also be a selector, e.g. "foo `key" matches all unary selectors sent to a variable called 'foo'.

I wrote that probably in 2000 so this is probably wrong. May be my english was confused too because I took that from john's slides. Indeed this is not correct, key is a meta variable that can contain an element

Ok, my french might not be that good :-)

Also check page 42--43 of my PhD (http://scg.unibe.ch/archive/phd/renggli-phd.pdf): 4.1.1 Tree Pattern Matching. It is a bit dense and doesn't explain everything, but the basic matching is described and was successfully tested on students.

yes we should use that. what would be excellent is that we could get a nice set of examples that people can pick to help them. So I started to collect the answers so send to the list and for example the questions of doru are a good source I know that I often forgot to handle the other statements in a match.

Lukas

-- Lukas Renggli www.lukas-renggli.ch