Am 11.10.2013 15:12, schrieb Ramana Kumar: > (Ie, what I want: if is_script then main() else () ) > > If your main : unit -> unit (which perhaps it must be?), then main() is > equivalent to the if expression above, modulo side-effects.
There is a misunderstanding here: I need the main to be run with poly --script -- which does not run it by default. But if I'd include 'main ()' in the script itself, it'd be run on compiling too (which I'd like to avoid). - René > >> Thanks, >> René >> -- >> René Neumann >> >> Institut für Informatik (I7) >> Technische Universität München >> Boltzmannstr. 3 >> 85748 Garching b. München >> >> Tel: +49-89-289-17232 >> Office: MI 03.11.055 >> >> >> _______________________________________________ >> polyml mailing list >> [email protected] >> http://lists.inf.ed.ac.uk/mailman/listinfo/polyml >> > -- René Neumann Institut für Informatik (I7) Technische Universität München Boltzmannstr. 3 85748 Garching b. München Tel: +49-89-289-17232 Office: MI 03.11.055
smime.p7s
Description: S/MIME Kryptografische Unterschrift
_______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
