Overview  Index  Help 

Main


The First-Order LoopW Type Inference main program. The main program parses the command-line arguments and calls the compiler.

               
Value summary

val compVersion
          Current compiler version number.

val main
           calls run() and wait for any exception in order to display the exception message.

val parseArgs
           parses the argument list to build the tuple of options.

val run
           builds the tuple of options and calls the compiler with it.

val someOf
           gets the value in an Option, calling usage() if it is NONE.

val usage
           displays the compiler command usage and exits.

 

       
Value detail

compVersion

val compVersion

Current compiler version number.


usage

val usage

displays the compiler command usage and exits.


someOf

fun someOf x

gets the value in an Option, calling usage() if it is NONE.

Parameters:
x
the Option value.
Returns:
the inner value.

parseArgs

fun parseArgs l

parses the argument list to build the tuple of options.

Parameters:
l
the string list of arguments.
Returns:
the tuple (version, verbosity, printUntyped, printTyped, printProof, formula, tex, funTranslate, ott, fileName).

run

val run

builds the tuple of options and calls the compiler with it.


main

val main

calls run() and wait for any exception in order to display the exception message.

 


Overview  Index  Help