By default .lcs files are generated for each .lcl file processed. Use -lcs to prevent generation of .lcs files. Generate .lh files. By default, -lh is set and no .lh files are generated. The LCL initialization file is read if any .lcl files are listed on the command line.
Specification errors are errors detected when checking the specifications.
They do not depend on the source code. There is information in the specification that is not duplicated in syntactic comments. Normally, this is not an error, but it may be useful to detect it to make sure checking incomplete systems without the specifications will still use this information. An error is reported for any identifier that is exported but not specified. Abstract Types 4.