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
On 29 Mar 2013, at 08:42, Gergely Buday gbu...@gmail.com 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
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
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
David,
On 29 Mar 2013, at 11:50, David Matthews david.matth...@prolingua.co.uk 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