Now solving constraints and outputting the types of names it has found in the file
Moved example programs that were specific tests to the tests project
Found another ambiguity pattern that has to be disambiguated with name information
Small changes. Removed debug statement. Changed a file extension because it coincided with some existing one
Added the rules for the other literals
The first of a number of normalisations scattered through the Caml Light manual
Now failing with an error message for at least one case
Disambiguating a more general case of ambiguities with multiple formal arguments
Added if-then-else