Re: [polyml] suppressing compiler output

2013-03-28 Thread Phil Clayton
I'm not sure what your exact requirements are but a possible solution may be to create an executable. Then compile-time output would not be mixed with run-time output. It's straightforward: wrap everything into a toplevel function and export that, e.g. [pclayton@rizzo ~]$ cat hello.sml fun m

[polyml] suppressing compiler output

2013-03-28 Thread Gergely Buday
Hi, I would like to feed an sml program into poly from standard input: $ cat hello.sml |poly Poly/ML 5.4.1 Release > # Hello World!val it = (): unit Is it possible to use this so that the compiler itself does not print anything? I have found poly -q which does not print the release message but t