aboutsummaryrefslogtreecommitdiffhomepage
path: root/errortest/mainapp
AgeCommit message (Expand)AuthorFilesLines
2024-06-02Don't use ref types for function referencesSamuel Lidén Borell3-39/+36
2024-05-18Improve error message for cyclic typedefsSamuel Lidén Borell1-11/+11
2024-05-18Detect cyclic typesSamuel Lidén Borell1-0/+75
2024-05-13exprchk: Add none-ness check in deref exprsSamuel Lidén Borell1-7/+14
2024-05-12Tests: More tests of none-nessSamuel Lidén Borell1-0/+38
2024-05-12Check none-ness in implicit dereferencingSamuel Lidén Borell1-2/+15
2024-05-12Allow passing not-none values to non-optional refsSamuel Lidén Borell1-2/+0
2024-05-11Update copyright yearsSamuel Lidén Borell7-7/+7
2024-05-11Tracking of variable none-nessSamuel Lidén Borell1-0/+56
2024-05-02exprchk: Constant evaluation of comparison operatorsSamuel Lidén Borell1-0/+3
2024-04-28Parser: Split "too many }" errorSamuel Lidén Borell1-2/+8
2024-04-13Remove cli/gui distinction. Make \name and \type optional for appsSamuel Lidén Borell1-1/+0
2024-03-09More fixes of missing type parametersSamuel Lidén Borell1-1/+16
2024-03-09Fix error handling of missing type paramsSamuel Lidén Borell1-0/+9
2024-03-08Fix error messages for incomplete struct expressionsSamuel Lidén Borell1-0/+36
2024-03-08Parser: Restrict where underscores can be usedSamuel Lidén Borell4-5/+49
2024-03-08Use SlulApp.main as the entry point. Implicitly depend on slulrtSamuel Lidén Borell1-0/+2
2024-03-02Fix error recovery in the semantic checkerSamuel Lidén Borell2-0/+21
2024-02-05Parser: Better errors for invalid local variable declarationsSamuel Lidén Borell1-3/+31
2023-12-30Put since-versions first in top-levels declarationsSamuel Lidén Borell1-2/+2
2023-10-07Check version when binding typeidentifiers/method identifiersSamuel Lidén Borell1-2/+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 Borell2-0/+11
2023-08-27Fix crash on generic function declarationsSamuel Lidén Borell1-6/+31
2023-08-22Parser: Fix error messages for certain invalid function call syntaxesSamuel Lidén Borell1-2/+62
2023-08-20Parser: Suppress "type is not clear" error for missing fieldsSamuel Lidén Borell1-0/+7
2023-08-16Fix missing "Operation has no effect" error in some casesSamuel Lidén Borell2-7/+32
2023-08-16Parser: Improve error message on missing "}" before "else"Samuel Lidén Borell1-0/+19
2023-07-15Update copyright yearsSamuel Lidén Borell5-5/+5
2023-07-12Tests: External constants in array length should give errorsSamuel Lidén Borell1-0/+6
2023-05-27Support for multi-line comments with #{{ and #}}Samuel Lidén Borell2-0/+60
2023-05-21Update error messages in test alsoSamuel Lidén Borell1-5/+5
2023-05-17Enable some tests that are working nowSamuel Lidén Borell2-8/+9
2023-05-16IR generation: Implement methods, "this" and fieldsSamuel Lidén Borell1-0/+13
2023-05-14Basic checking of generic typesSamuel Lidén Borell2-0/+286
2023-05-06Checking of method and constructor callsSamuel Lidén Borell3-39/+124
2023-05-06Include .typeidentifier and .field names in error messagesSamuel Lidén Borell1-6/+6
2023-05-01Type checking of "refto" and "deref" operationsSamuel Lidén Borell1-2/+41
2023-05-01Named function argumentsSamuel Lidén Borell2-1/+15
2023-04-30Checking of open/closed structsSamuel Lidén Borell3-0/+46
2023-04-30Parsing and basic checks of literal struct values with named fieldsSamuel Lidén Borell3-19/+62
2023-04-29More improvements to error locations. Add check of .typeident syntaxSamuel Lidén Borell2-10/+33
2023-04-29Report errors at end-of-line at the correct locationSamuel Lidén Borell1-3/+8
2023-04-21Improve messages for errors at end declarationsSamuel Lidén Borell1-2/+11
2023-04-15Forbid repeating of relational operations without paranthesesSamuel Lidén Borell1-0/+27
2023-04-15funcchk: Silence errors for variables with non-existing typesSamuel Lidén Borell1-0/+24
2023-04-15exprchk: Silence type incompatibliity errors for non-existing variablesSamuel Lidén Borell1-0/+24
2023-04-14exprchk: Type compatibility checking of structsSamuel Lidén Borell1-0/+87
2023-04-14exprchk: Improved error checks/messagesSamuel Lidén Borell2-5/+17