Hello. 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? Regards, Alex ------------------------------------------------------------------------------ Got visibility? Most devs has no idea what their production app looks like. Find out how fast your code is with AppDynamics Lite. http://ad.doubleclick.net/clk;262219671;13503038;y? http://info.appdynamics.com/FreeJavaPerformanceDownload.html _______________________________________________ CIL-users mailing list CIL-users@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/cil-users