If I have a program I’d like to compile with polyc that looks like

   fun main () = 
     let
       val _ = PolyML.SaveState.loadState (hd (CommandLine.arguments()))
     in
       …
     end

what, if anything can I put in the … and have it work? 

All I really want is what is effectively a sequence of calls to “use” in that 
slot, but there seem to be many ways of generating executables that silently 
crash.

Michael

_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml

Reply via email to