Hi Sonam,
On Sun, Apr 07, 2013 at 07:37:28PM +0530, son...@iitk.ac.in wrote:
> my code contains following:
>
> (TFun(voidType, Some [("format", charPtrType, [])],
> true, [])) in
>
> following is the statement i am writing to create printf statement:
> let post = mkPrint (d_string "value of if count L%d \n") [Lval(var
> count1)]
Could you please post a minimal example which compiles (or fails to compile, but
is at least self-contained)? I don't think d_string or mkPrint are functions
provided by CIL directly, and what they do is essential to understand the
typechecker's failure in your case.
Best,
--
Gabriel
------------------------------------------------------------------------------
Minimize network downtime and maximize team effectiveness.
Reduce network management and security costs.Learn how to hire
the most talented Cisco Certified professionals. Visit the
Employer Resources Portal
http://www.cisco.com/web/learning/employer_resources/index.html
_______________________________________________
CIL-users mailing list
CIL-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/cil-users
