11 Oct
2013
11 Oct
'13
2:12 p.m.
(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.
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