Error messages

Perhaps the most common error for most people new to ATS will be typechecking errors. For this reason, all new users are encouraged to read some demonstrations and examples in the typechecking errors article.

Error messages are evolving in ATS2. There are five primary classes of error messages: parsing errors, linker errors, runtime errors, compiler errors, and the most common -- typechecking errors. For error messages known to have been used in the past, especially in ATS1, please see the old wiki.