aboutsummaryrefslogtreecommitdiffhomepage
path: root/errortest/mainapp/main.slul
AgeCommit message (Expand)AuthorFilesLines
2024-05-11Update copyright yearsSamuel Lidén Borell1-1/+1
2024-04-13Remove cli/gui distinction. Make \name and \type optional for appsSamuel Lidén Borell1-1/+0
2024-03-08Parser: Restrict where underscores can be usedSamuel Lidén Borell1-0/+1
2024-03-08Use SlulApp.main as the entry point. Implicitly depend on slulrtSamuel Lidén Borell1-0/+2
2023-10-01Check version when binding identifiers across modulesSamuel Lidén Borell1-0/+2
2023-09-16Add unstable_api flag. Improve checks of module headersSamuel Lidén Borell1-1/+1
2023-09-10Implement search for methods and typeidents in other modules alsoSamuel Lidén Borell1-0/+3
2023-07-15Update copyright yearsSamuel Lidén Borell1-1/+1
2023-05-27Support for multi-line comments with #{{ and #}}Samuel Lidén Borell1-0/+1
2023-05-14Basic checking of generic typesSamuel Lidén Borell1-0/+1
2023-05-06Checking of method and constructor callsSamuel Lidén Borell1-0/+1
2023-04-10Move typecompat error tests to a separate fileSamuel Lidén Borell1-0/+1
2023-04-08Improve error messages in declarationsSamuel Lidén Borell1-0/+1
2022-10-30Constant evaluation of integer arithmetic. Parsing of "mod" keywordSamuel Lidén Borell1-0/+1
2022-10-30Checking of enum types. Handling of negative integer literalsSamuel Lidén Borell1-0/+1
2022-08-04Checking of flow of return/gotoSamuel Lidén Borell1-0/+1
2022-08-04Tracking of variables definednessSamuel Lidén Borell1-0/+1
2022-07-18Checking of expr/if/while/assert statementsSamuel Lidén Borell1-0/+1
2022-07-17Type checking of string and boolean expressionsSamuel Lidén Borell1-0/+1
2022-06-15Remove support for multi-versioned symbols. Change syntax to "since X"Samuel Lidén Borell1-1/+2
2022-04-09Basic verification of type definitions. Add "error tests"Samuel Lidén Borell1-0/+29