Re: [polyml] suppressing compiler output
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
I compiled this with shc and in turn with gcc:
$ shc-3.8.9/shc -f polyscript.sh
$ gcc -Wall polyscript.sh.x.c -o polyscript
Now, I was able to create a first script written in ML:
$ cat smlscript
#!/home/gergoe/projects/shebang/polyscript $0
print Hello World!
and, I was able to run it:
$ chmod u+x smlscript
$ ./smlscript
Poly/ML 5.4.1 Release
# Hello World!val it = (): unit
It might be interesting to write polyscript directly in C, but probably
that wouldn't make it faster.
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?
- Gergely
[1] http://www.datsi.fi.upm.es/~frosal/
[2]
http://stackoverflow.com/questions/15665119/how-to-define-script-interpreter-with-shebang
holgero's answer
On 29 March 2013 02:03, Phil Clayton phil.clay...@veonix.com wrote:
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 main () = print Hello World!\n;
PolyML.export (hello, main);
Compile:
cat hello.sml | poly
Link:
POLYHOME=/opt/polyml/polyml-5.**5 # your Poly/ML installation
POLYLIB=${POLYHOME}/lib
LD_RUN_PATH=${POLYLIB}:${LD_**RUN_PATH} cc -ggdb -o hello -L${POLYLIB}
-lpolymain -lpolyml hello.o
Run:
./hello
Phil
On 28/03/13 20:49, Gergely Buday wrote:
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 that still prints all the rest.
- Gergely
__**_
polyml mailing list
polyml@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/**mailman/listinfo/polymlhttp://lists.inf.ed.ac.uk/mailman/listinfo/polyml
__**_
polyml mailing list
polyml@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/**mailman/listinfo/polymlhttp://lists.inf.ed.ac.uk/mailman/listinfo/polyml
___
polyml mailing list
polyml@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
Re: [polyml] suppressing compiler output
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 my_read_eval_print_loop is a variant of the usual one that sends all compiler output to standard error and exits when standard input runs out. if you put it in my-revl.ML and run poly my-revl.ML 1a 2b there will be a small predictable set of compiler messages at the head of file a followed by the standard output of the other code in my-revl.ML and all the rest of the compiler messages go in file b. If you make an executable that runs my_read_eval_print_loop following Phil Clayton's post, then you will get a program that compiles and runs ML code and sends all compiler messages to standard error (so you can discard them using 2/dev/null on the command line). Regards, Rob. === beginning of my-revl.ML fun read_or_exit () = ( case TextIO.input1 TextIO.stdIn of NONE = Posix.Process.exit 0wx0 | some = some ); fun my_read_eval_print_loop () = ( PolyML.compiler (read_or_exit, [PolyML.Compiler.CPOutStream (fn s = TextIO.output(TextIO.stdErr, s))]) (); my_read_eval_print_loop () ); val _ = my_read_eval_print_loop(); (* could also do PolyML.export(my-revl, read_eval_print_loop) at this point *) fun repeat f n = if n = 0 then () else (f (); repeat f (n-1)); fun say s () = TextIO.output(TextIO.stdOut, s ^ \n); val hello = repeat (say Hello World!); hello 10; val goodbye = repeat (say Goodbye cruel World!); goodbye 10; === end of my-revl.ML ___ polyml mailing list polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
Re: [polyml] suppressing compiler output
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 can invoke the Poly/ML compiler at runtime, to compile and run your script. Doing this yourself, instead of using the default ML toplevel loop, you can control compiler output to a large extent, by options provided in structure PolyML.Compiler. See also this answer on Stackoverflow how to wrap up the Poly/ML compiler as eval function (without special options): http://stackoverflow.com/questions/9555790/does-sml-poly-have-a-cl-like-repl/15162800#15162800 If you want we can also continue that QA game on Stackoverflow, although I have no particular preference for mailing list vs. social network here. Makarius ___ polyml mailing list polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
Re: [polyml] suppressing compiler output
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's definitely the best way if you really want control over the output. I've just committed a change so that the -q option now sets PolyML.print_depth to zero so that by default the output won't be printed. To suppress the prompt you would be better off using the --use option to run the file directly. You will need to add OS.Process.exit OS.Process.success: unit; at the end if you don't want to enter the main read-eval-print-loop. David ___ polyml mailing list polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
Re: [polyml] suppressing compiler output
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 one, David? There have been a few suggestions for how to write your own top level and that's definitely the best way if you really want control over the output. I've just committed a change so that the -q option now sets PolyML.print_depth to zero so that by default the output won't be printed. To suppress the prompt you would be better off using the --use option to run the file directly. You will need to add OS.Process.exit OS.Process.success: unit; at the end if you don't want to enter the main read-eval-print-loop. Quite a common thing to do in UN*X applications is not to prompt if the input isn't a terminal. Obviously, I can write my own read-eval-print loop that does that (indeed the read-eval-print loop in my earlier post on this topic doesn't prompt at all), but it might be a nice companion to the change you have just made to make the top level do that out of the box. That would give Gergely Buday exactly what he is asking for (i.e., the ability to have poly read code from the standard input and only output what the compiled code outputs). Regards, Rob,.___ polyml mailing list polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
