aboutsummaryrefslogtreecommitdiffhomepage
path: root/errortest/mainapp/typechk.slul
AgeCommit message (Expand)AuthorFilesLines
2024-06-02Don't use ref types for function referencesSamuel Lidén Borell1-39/+3
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-11Update copyright yearsSamuel Lidén Borell1-1/+1
2024-03-08Parser: Restrict where underscores can be usedSamuel Lidén Borell1-4/+4
2023-07-15Update copyright yearsSamuel Lidén Borell1-1/+1
2023-07-12Tests: External constants in array length should give errorsSamuel Lidén Borell1-0/+6
2023-04-30Checking of open/closed structsSamuel Lidén Borell1-0/+11
2023-04-30Parsing and basic checks of literal struct values with named fieldsSamuel Lidén Borell1-14/+21
2023-04-10Disallow explicitly numbered values in enums without explicit base typeSamuel Lidén Borell1-1/+6
2023-04-09Fix enum .typeidentifiersSamuel Lidén Borell1-0/+18
2023-04-09Forbid type parameters on enums and elementary typesSamuel Lidén Borell1-0/+6
2022-10-30Checking of enum types. Handling of negative integer literalsSamuel Lidén Borell1-0/+22
2022-07-26Fix assertion failures in the verifier (part 2)Samuel Lidén Borell1-0/+5
2022-07-25Fix assertion failures in the verifier (part 1)Samuel Lidén Borell1-0/+13
2022-07-24Fix Internal Compiler Error when there is an invalid typeSamuel Lidén Borell1-0/+13
2022-04-09Basic verification of type definitions. Add "error tests"Samuel Lidén Borell1-0/+95
generated by cgit v1.2.3 (git 2.25.1) at 2024-09-19 22:07:59 +0000