aboutsummaryrefslogtreecommitdiff
path: root/boot/type_check.cc
AgeCommit message (Expand)Author
25 hoursRestrict index types to Int and WordHEADcppEugen Wissner
7 daysRemove Pointer and nil supportEugen Wissner
8 daysFix ICE with local block variablesEugen Wissner
9 daysMake procedure pointers compatible with normal pointersEugen Wissner
13 daysRework generics for parameters to be plain typesEugen Wissner
13 daysStrip outmost constness on infered argumentsEugen Wissner
14 daysReplace noreturn type with an attributeEugen Wissner
2026-09-27Reuse container visiting logicEugen Wissner
2026-09-25Fix move related memory leaks in AST helpersEugen Wissner
2026-09-24Move module heading to the topEugen Wissner
2026-09-18Allow block-local variablesEugen Wissner
2026-09-14Implement volatile operationsEugen Wissner
2026-09-12Fix enumeration size to be hardware word in the backendEugen Wissner
2026-09-12Support variadic extern proceduresEugen Wissner
2026-09-11Implement aligned attributeEugen Wissner
2026-09-08Fix ICE with offset trait and non-type identifierEugen Wissner
2026-09-08Implement generic pointersEugen Wissner
2026-09-07Make module entry point more procedure likeEugen Wissner
2026-09-07Implement program entry pointEugen Wissner
2026-09-05Generate repeat-until condition outside body scopeEugen Wissner
2026-09-01Reject pointer arithmetic on opaque pointersEugen Wissner
2026-09-01Fix const extern variable declarationsEugen Wissner
2026-08-31Reject comparison of uncompatible typesEugen Wissner
2026-08-31Type check for value addressabilityEugen Wissner
2026-08-30Fix record constructor for base recordsEugen Wissner
2026-08-30Fix ICEs with recursive type declarationsEugen Wissner
2026-08-23Determine array type by the first elementEugen Wissner
2026-08-23Reject 0-sized variablesEugen Wissner
2026-08-21Implement Single and Double floatsEugen Wissner
2026-08-18Make Int and Word aliases to fixed-size typesEugen Wissner
2026-08-14Map Int and Word to hardware word sizesEugen Wissner
2026-08-14Use the new .is_a() for literal kind checks in the evaluatorEugen Wissner
2026-08-13Implement fixed-size integersEugen Wissner
2026-08-02Check array property accessbility at compile timeEugen Wissner
2026-08-01Enforce integral values in slice rangesEugen Wissner
2026-07-29Validate cast compatibility during semantic analysisEugen Wissner
2026-07-28Enforce case label uniqueness and constnessEugen Wissner
2026-07-26 Type check traits properlyEugen Wissner
2026-07-25Accept any constant types in case labelsEugen Wissner
2026-07-24Check the compound statement condition is a booleanEugen Wissner
2026-07-24Implement a repeat loopEugen Wissner
2026-07-23Implement for loopEugen Wissner
2026-07-21Redefine strings as slice of constant charactersEugen Wissner
2026-07-21Implement slicesEugen Wissner
2026-07-20Add clang-tidy supportEugen Wissner
2026-07-19Support unary plus operationEugen Wissner
2026-07-19Implement initializer evaluatorEugen Wissner
2026-07-17Handle base type constnessEugen Wissner
2026-07-17Handle const Pointer as const pointer to const dataEugen Wissner