> The code on line 2 probably has to be an ocaml script at the moment,
> because I didn't do anything to support python.

How are the chances to extend the software further (including the corresponding 
documentation)?


> @ find_kmap_tagged_function @
> comments tag : script:ocaml () { let (c1b,c1m,c1a) = List.hd tag in not
> (c1a = []) };

Would you like to use also regular expressions for such scripted SmPL 
constraints?

Regards,
Markus
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci

Reply via email to