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.