From: Gabriel Kerneis <gabriel@ke...> - 2013-07-08 06:12:17
On Mon, Jul 08, 2013 at 01:20:51PM +0800, Sahana V P wrote:
> it did not give any output even though it compiled
> without any errors.
I have never used this module, but the reason why your program doesn't print
anything is because you "ignore(...)" the statements instead of printing them.
> List.iter(function (s:stmt)-> ignore(RD.getRDs s.sid))fdec.sallstmts;
E.log (RD.ppFdec fdec)
Or, if you want to print the output to some file:
let chan = open_out "rd.log" in
Pretty.fprint chan 80 (RD.ppFdec fdec);
since you do nothing about the children of your functions.