alice
library
manual.
signature CONFIG
structure Config : CONFIG
The Config structure serves to provide system information that is either platform- or installation-dependent.
import structure Config from "x-alice:/lib/system/Config"
import signature CONFIG from "x-alice:/lib/system/CONFIG-sig"
signature CONFIG =
sig
datatype platform = WIN32 | UNIX
val version : {major : int, minor : int, revision : int}
val codename : string
val buildDate : Date.t
val platform : platform
val vm : string
val homeDir : unit -> string
val pathEscape : char option
val pathSeparator : char
end
The type of supported platforms.
Reflects the version of the current Alice System implementation.
The code name of the current Alice version, as displayed in the banner of the interactive top-level, for example.
Indicates the date at which the current implementation of the Alice System was built.
The platform the current process executes on.
A string identification of the virtual machine that the current process is running.
returns the installation directory of the Alice system.
The character, if any, the current platform uses to escape characters in path names. Typically NONE under Windows, #"\\" under Unix.
The character used on the current platform to separate path names in path list specifications, such as the PATH environment variable used under Windows and Unix. Typically #";" under Windows, #":" under Unix.