Re: [CIL users] Instrumenting a program with a call to function in external file

2013-03-31 Thread Gabriel Kerneis
On Sun, Mar 31, 2013 at 01:37:33PM +0530, son...@iitk.ac.in wrote: > If i have wrapped varinfos in record type as below: > > type type = { > mutable one : varinfo; > mutable two : varinfo; > } > > how can i use this varinfo values? > Also how can i make use of varinfo returned from find

Re: [CIL users] builtin_types_compatible_p

2013-03-31 Thread Gabriel Kerneis
On Sat, Mar 30, 2013 at 11:55:53AM +, Gabriel Kerneis wrote: > Attached is a quick and dirty patch to fix the case of arrays, making your > example compile, but I'm afraid something more complete about type > compatibility would need to be written. Please ignore this patch, it is completely bo

Re: [CIL users] Instrumenting a program with a call to function in external file

2013-03-31 Thread sonamt
If i have wrapped varinfos in record type as below: type type = { mutable one : varinfo; mutable two : varinfo; } how can i use this varinfo values? Also how can i make use of varinfo returned from findOrCreateFunc? Thanks n Regards Sonam > On Sat, Mar 02, 2013 at 08:40:39PM +0530,