The Program and the Files

Kimwitu is invoked by, for example, the command kc file.k. It then generates a number of files. Multiple file.k arguments are permitted. To avoid superfluous recompilations when using make, kc will not overwrite a file with an identical file. See the discussion below (Section 3.2) for an example makefile. The program kc can give some error messages and warnings. Depending on the user-provided code, cc and lint can give additional error messages. In particular, lint will typecheck all expressions involving phyla and operators.