(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 > [email protected] > http://lists.inf.ed.ac.uk/mailman/listinfo/polyml >
_______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
