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 platform : platform val vm : string val homeDir : unit -> string val pathEscape : char option val pathSeparator : char end
The type of supported platforms.
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.