6.2 Messages from the AS Centaur-Environment

 

6.2.1 ``The source file has been modified but not saved.''

The result of an AS compilation has been written to a file, but the source file was modified and not saved. This inconsistent situation may be the source of future problems.

 

6.2.2 ``Your definition is not yet type-checked.''

You asked to compile an AS specification that was not yet type-checked. Type check your specification first, and then compile it.

Compiling a New Specification

 

6.2.3 ``The name of the file (X) differs from the name of the language defined (Y).''

The name of an AS file must correspond to the name of the formalism defined in it to allow auto-loading of generated files.

Files Naming Convention

 

6.2.4 ``X written.''

The file X has been written on your file system.