Name
calculus — Algebraic type system tool
Synopsis
calculus
[ -A name ] [ -E file ] [ -T file ] [ -a ] [ -d ] [ -i ] [ -o ] [ -p ] [ -r ] [ -t ] [ -w ] [ -x ]
input-file… [ output-file ]
input-file… [ output-file ]
calculus
{ -v }
Description
calculus translates a specification of an algebraic type system, input-file, into code representing that system. This takes the form of a number of files which are generated in the output directory, output-file. If no output directory is specified then the current working directory is used.
By default, C code implementing the type system is generated, however this may be changed by means of command-line options.
Input files and command-line options may be given in any order. Options always relate to the input files immediately following.
Type systems for calculus are conventionally named with the extension .alg.
See Also
tcc.