[polyml] polyc and poly --script

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 polyml at inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml