signature SML_OF_NJ =
sig
structure Cont:
sig
type 'a cont
val callcc: ('a cont -> 'a) -> 'a
val isolate: ('a -> unit) -> 'a cont
val throw: 'a cont -> 'a -> 'b
end
structure SysInfo:
sig
exception UNKNOWN
datatype os_kind = BEOS | MACOS | OS2 | UNIX | WIN32
val getHostArch: unit -> string
val getOSKind: unit -> os_kind
val getOSName: unit -> string
end
val exnHistory: exn -> string list
val exportFn: string * (string * string list -> OS.Process.status) -> unit
val exportML: string -> bool
val getAllArgs: unit -> string list
val getArgs: unit -> string list
val getCmdName: unit -> string
end
SMLofNJ
implements a subset of the structure of the same name
provided in Standard ML of New Jersey. It is included to
make it easier to port programs between the two systems. The
semantics of these functions may be different than in SML/NJ.
-
structure Cont
implements continuations.
-
SysInfo.getHostArch ()
returns the string for the architecture.
-
SysInfo.getOSKind
returns the OS kind.
-
SysInfo.getOSName ()
returns the string for the host.
-
exnHistory
the same as
MLton.Exn.history
. -
getCmdName ()
the same as
CommandLine.name ()
. -
getArgs ()
the same as
CommandLine.arguments ()
. -
getAllArgs ()
the same as
getCmdName()::getArgs()
. -
exportFn f
saves the state of the computation to a file that will apply
f
to the command-line arguments upon restart. -
exportML f
saves the state of the computation to file
f
and continue. Returnstrue
in the restarted computation andfalse
in the continuing computation.