From: Alex Susu <alex.susu@gm...> - 2012-09-21 15:04:23
I am using with great joy the CIL destructors (function Formatcil.dType). I noticed
that the destructors do match only for the types of the CIL construct, but not for the
identifier name (such as formal arguments name or function name).
For example, when I give:
- Formatcil.dType "void (*)(int seconds)" t, it matches any function with the specified
type, regardless of the name (seconds) of the formal argument;
- Formatcil.dType "void my_wait(int)" t, I receive a "Parsing error" message.
Did anybody try specifying identifier names to destructors? Or did somebody implement
a different formatcil.ml supporting this feature?
Get latest updates about Open Source Projects, Conferences and News.