Re: [polyml] suppressing compiler output

2013-03-29 Thread Rob Arthan
David, On 29 Mar 2013, at 11:50, David Matthews wrote: > On 29/03/2013 08:42, Gergely Buday wrote: >> Back to the original question: this is why I would like to suppress any >> compiler message. >> >> I did not find such a flag in the manual, would it be possible to add one, >> David? > > Ther

Re: [polyml] suppressing compiler output

2013-03-29 Thread David Matthews
On 29/03/2013 08:42, Gergely Buday wrote: Back to the original question: this is why I would like to suppress any compiler message. I did not find such a flag in the manual, would it be possible to add one, David? There have been a few suggestions for how to write your own top level and that'

Re: [polyml] suppressing compiler output

2013-03-29 Thread Makarius
On Fri, 29 Mar 2013, Gergely Buday wrote: I want ML scripts to invoke from the command line, without compiling them. As Phil has already pointed out, you can produce standalone executables from some Poly/ML program that do whatever you want them to do. For that ML part of the executable you

Re: [polyml] suppressing compiler output

2013-03-29 Thread Rob Arthan
On 29 Mar 2013, at 08:42, Gergely Buday wrote: > > Back to the original question: this is why I would like to suppress any > compiler message. > > The function PolyML.compiler lets you write your own customised read-eval-print loop. In the code below, the fun my_read_eval_print_loop is a v

Re: [polyml] suppressing compiler output

2013-03-29 Thread Gergely Buday
Sorry, I did not make it clear what I want. I want ML scripts to invoke from the command line, without compiling them. I made it work, see how. There is an shc [1] translator that compiles shell scripts to C code. I have used a one-liner [2]: $ cat polyscript.sh #!/bin/bash tail -n +2 $1 | poly