User manuals and papers about programming languages usually contain many code samples, often with accompanying compiler messages giving the types of declarations or error messages explaining why certain declarations are invalid.
checklistings package augments the
listings packages for including source
code in LaTeX documents with a way to pass the source code through a
compiler and also include the resulting messages in the document.
The motivation is to check the code samples in a document for syntax and
typing errors and to facilitate the inclusion of inferred types and compiler
warnings or errors in a text. This package is intentionally very lightweight
and unlike packages like python it is not
intended for interacting with an interpretor or including the execution
traces of code. While
checklistings does not focus on a specific
programming language, it is designed to work well with ML-like languages.
Using the package involves three elements:
- The declaration
- The verbatim environment
- The shell script
In a first pass,
pdflatex outputs code samples into files.
The second pass is performed by
checklistings.sh which passes each file
through a compiler to generate corresponding output files.
In a third pass,
pdflatex reads from the generated files to
incorporate the results into the document.
checklistings.hva file is provided for interoperability with
checklistings package may be distributed and/or modified under the
conditions of the
LaTeX Project Public License,
either version 1.2 of this license or (at your option) any later version.
It is available on CTAN.
Please send comments, suggestions, and bug reports (with version number and
the keyword "checklistings" in the subject of the message) to
email@example.com. Please keep in mind that we prefer to keep
simple and lightweight rather than to incorporate many different
configuration and customization options. The source code is hosted on