This module contains definition of constants to obtain information concerning the current distribution of the Curry implementation, e.g., compiler version, run-time version, installation directory.
Author: Michael Hanus
Version: December 2018
curryCompiler
:: String
The name of the Curry compiler (e.g., "pakcs" or "kics2"). |
curryCompilerMajorVersion
:: Int
The major version number of the Curry compiler. |
curryCompilerMinorVersion
:: Int
The minor version number of the Curry compiler. |
curryCompilerRevisionVersion
:: Int
The revision version number of the Curry compiler. |
curryRuntime
:: String
The name of the run-time environment (e.g., "sicstus", "swi", or "ghc") |
curryRuntimeMajorVersion
:: Int
The major version number of the Curry run-time environment. |
curryRuntimeMinorVersion
:: Int
The minor version number of the Curry run-time environment. |
baseVersion
:: String
The version number of the base libraries (e.g., "1.0.5"). |
installDir
:: String
Path of the main installation directory of the Curry compiler. |
rcFileName
:: IO String
The name of the file specifying configuration parameters of the current distribution. |
The name of the Curry compiler (e.g., "pakcs" or "kics2").
|
The major version number of the Curry compiler.
|
The minor version number of the Curry compiler.
|
The revision version number of the Curry compiler.
|
The name of the run-time environment (e.g., "sicstus", "swi", or "ghc")
|
The major version number of the Curry run-time environment.
|
The minor version number of the Curry run-time environment.
|
The version number of the base libraries (e.g., "1.0.5").
|
Path of the main installation directory of the Curry compiler.
|
The name of the file specifying configuration parameters of the current distribution. This file must have the usual format of property files. |