> What would the point be?

I assume that you might be used to benefits from comand line interfaces like 
bash or git for some use cases.


> SmPL isn't even remotely an imperative language,
> so interpreting it would be of little value.

I would like to clarify my suggestion a bit more.

I agree to your view that the semantic patch language does not belong to the 
category of imperative programming languages.
(Patch rules are specified in a format that is similar to the output of the 
command "diff".)

Would you like to enable the development of such rules by entries after a 
prompt?


> You would still have to formulate a complete semantic patch,
> before you would see any effects.

I suggest to construct and apply semantic patches by additional commands that 
can be executed by an OCaml interpreter. This approach would provide an 
alternative and interactive way for change specifications.

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