Re: [polyml] gcbench in SML

2012-05-06 Thread Ian Zimmerman
Jeremy> * printf without lots of String.concat David> I don't know about that. Does anyone else have any ideas? http://mlton.org/Printf.html -- Ian Zimmerman gpg public key: 1024D/C6FF61AD fingerprint: 66DC D68F 5C1B 4D71 2EE5 BD03 8A00 786C C6FF 61AD http://www.gravatar.com/avatar/c66875cda

Re: [polyml] gcbench in SML

2012-04-26 Thread Makarius
On Thu, 26 Apr 2012, Jeremy Singer wrote: I am trying to create something like Hans Boehm's GC benchmark - http://www.hpl.hp.com/personal/Hans_Boehm/gc/gc_bench.html The web page says: The benchmark should run in roughly 32MB or less on most systems, and some systems run it in about half

Re: [polyml] gcbench in SML

2012-04-26 Thread David Matthews
Hi Jeremy, There are several non-standard functions that may help. On 26/04/2012 17:06, Jeremy Singer wrote: Hi David, I am trying to create something like Hans Boehm's GC benchmark - http://www.hpl.hp.com/personal/Hans_Boehm/gc/gc_bench.html in SML. My current attempt is at: http://pastebin.c

Re: [polyml] gcbench in SML

2012-04-26 Thread Phil Clayton
On 26/04/12 17:06, Jeremy Singer wrote: * printf without lots of String.concat Quick answer to this one: instead of print (String.concat strs) do List.app print strs Here the text is just kept as a list of strings but, in general, one can build up any abstract text representation to suit

[polyml] gcbench in SML

2012-04-26 Thread Jeremy Singer
Hi David, I am trying to create something like Hans Boehm's GC benchmark - http://www.hpl.hp.com/personal/Hans_Boehm/gc/gc_bench.html in SML. My current attempt is at: http://pastebin.com/2RW9jpCJ Sorry - I forgot all my ML years ago. Here are some things I'm not sure how to do nicely in Poly/ML