Module REPL.Compiler

Exported datatypes:

Data type for the specification of a Curry compiler invoked by the REPL. It contains the following components:

• The name ccName should be a sequence of alphanumeric characters and is used for naming resource files, main modules etc.
• The version ccVersion of the compiler is used by the front end and determines auxiliary directory names.
• The banner ccBanner is shown at start up (if verbosity is not quiet).
• ccHome is the home directory of the compiler. This directory should contain a file <ccName>rc.default with the template for a resource configuration file. This file is copied into the user's home directory (if it does not exist) or updated (when the variables in the template have been changed).
• ccFrontend is the executable of the Curry front end.
• ccExec is the executable of the Curry compiler.
• ccLibPath is the path (possibly several directies) containing the base libraries of the Curry compiler. This path will be appended to an existing load path (specified by the envrionment variable CURRYPATH).
• ccTypedFC should be set to Nothing if the (re)load command should compile the main program. Otherwise, the main program is only parsed with the front end where Just True indicates that the front end should produce Typed FlatCurry files instead of FlatCurry files (in case of Just False).
• If ccCurryPath is True, then the actual load path is passed by the environment variable CURRYPATH to the compiler, otherwise it is passed by a sequence of options of the form -iDIR.
• ccVerbOpt maps the actual verbosity to the compiler option to pass the verbosity to the compiler command.
• ccParseOpt maps the actual parser options to the compiler option to pass further parser options.
• ccCmplOpt maps the module name to the compiler option to compile a module without creating an executable.
• ccExecOpt maps the module name to the compiler option to compile a module and create an executable having the same name as the module.
• ccCleanCmd maps the module name to the system command which removes the module and all generated intermediate files.
• ccOpts is the list of additional options supported by the compiler.

Constructors:

• CCDescription :: String -> (Int,Int,Int) -> String -> [(String,String)] -> String -> String -> String -> String -> String -> (Maybe Bool) -> Bool -> (String -> String) -> (String -> String) -> (String -> String) -> (String -> String) -> (String -> String) -> FreeMode -> [CCOption] -> CCDescription

  Fields:

  • ccName :: String
  • ccVersion :: (Int,Int,Int)
  • ccBanner :: String
  • ccMainOpts :: [(String,String)]
  • ccHome :: String
  • ccEmail :: String
  • ccFrontend :: String
  • ccExec :: String
  • ccLibPath :: String
  • ccTypedFC :: (Maybe Bool)
  • ccCurryPath :: Bool
  • ccVerbOpt :: (String -> String)
  • ccParseOpt :: (String -> String)
  • ccCmplOpt :: (String -> String)
  • ccExecOpt :: (String -> String)
  • ccCleanCmd :: (String -> String)
  • ccFreeMode :: FreeMode
  • ccOpts :: [CCOption]

Constructors:

• LegacyFreeMode :: FreeMode
• CommandLineFreeMode :: ([(String,Int)] -> String) -> FreeMode

The specification of an option implemented by a Curry compiler. It consists a short and long description (used in help messages) and a list of selections, where each selection is an option implementation containing a tag. All tags of an option are exclusive, i.e., at most one of them can be set.

Constructors:

• CCOption :: String -> String -> [CCOptionImpl] -> CCOption

Data type to specify the implementation of a compiler option. A constant option ConstOpt consists of a tag (shown in the REPL) and the conrete option passed to the Curry compiler when the tag is set. An argument option ArgOpt consists of a tag (shown in the REPL), an argument provided when the option is set, and a mapping from the argument to the concrete option passed to the Curry compiler (which is Nothing if the argument is not valid).

Constructors:

• ConstOpt :: String -> String -> CCOptionImpl
• ArgOpt :: String -> String -> (String -> Maybe String) -> CCOptionImpl

Exported operations: