> It would seem reasonable to do so, unless it causes some ambiguity in the 
> parser.

Would you like to register a feature request for such an extension?


> Yes, the first one that matches is used.

What is the correct term for the "|" notation so that I will find it easier in
your documentation?

Regards,
Markus
_______________________________________________
Cocci mailing list
[email protected]
http://lists.diku.dk/mailman/listinfo/cocci
(Web access from inside DIKUs LAN only)

Reply via email to