> So, in summary, it should look like: > -c option: Compile a source file which must contain a function main of > type unit -> unit (or string list => unit or string list -> int ???) and > export the object file.
Currently, PolyML.export expects unit -> unit, so in my opinion one should stick with that to avoid confusion. - 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
smime.p7s
Description: S/MIME Kryptografische Unterschrift
_______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
