The order of the files corresponds to the order in which they appear in the compiler. more or less, at least.
In the structured version, I had split the packages for symbols and tables into two compilation units Symbol and Symboltable and used functors and module types. This allowed to postpone the definition of the actual symbols to a later time —within the semantic phase— but made the whole thing pretty obscure.
We describe here the main “targets” one can do with the implementation. So in some sense it describes the targets of the makefile and how to use them. However, it gives also hints for the developer, how to change the makefile in case the compiler grows.
Is our test-concept something like unit-testing? If not, can one make the testing be even more systematic, perhaps one should use ounit.
The documentation is based on a literate programming technology and uses ocamlweb.1 HTML-pages are generated via the LATEX-documet using hevea.2 Currently, ocamldoc is not used.,