2 Apr
2013
2 Apr
'13
3:51 p.m.
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