This consumes gobs of memory, and eventually hangs my machine:
let prettytest = begin
print_endline ("prettytest:1");
let line = ref "" in
for i=1 to 10000 do
line := !line ^
"----------------------------------------------------------------\n";
done;
print_endline ("prettytest:2");
ignore(Pretty.text !line);
print_endline ("prettytest:3");
end
This occurred as a result of me generating a huge
comment in a GText(...).
Christian
------------------------------------------------------------------------------
Live Security Virtual Conference
Exclusive live event will cover all the ways today's security and
threat landscape has changed and how IT managers can respond. Discussions
will include endpoint security, mobile security and the latest in malware
threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/
_______________________________________________
CIL-users mailing list
CIL-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/cil-users
