Re: [CIL users] reconstructing existing block

2013-03-29 Thread Gabriel Kerneis
On Fri, Mar 29, 2013 at 07:01:48PM +0530, son...@iitk.ac.in wrote: > (Block (mkBlock [ mkStmtOneInstr s; tb.bstmts ])) > > so, how can i achieve the same? You need to append your new statement in front of the list: (Block (mkBlock ((mkStmtOneInstr s) :: tb.bstmts))) Similarly, you coul

[CIL users] reconstructing existing block

2013-03-29 Thread sonamt
Hello, I want to reconstruct a block by adding one extra statement. I am using following code: (Block (mkBlock [ mkStmtOneInstr s; tb.bstmts ])) where s is a single statement; tb is existing block but if i use tb.bstmts then there is type error saying its of type stmt list but stmt is expected