aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Prepare for array/pointer typecheckingBad Diode9 days3-109/+122
* Fix a segfaultBad Diode9 days4-29/+17
* Add enum de-structuring and int matching on match exprBad Diode9 days2-12/+78
* Add err to analyzer contextBad Diode9 days1-2/+33
* Fill up main symbol table with everything we needBad Diode9 days2-24/+30
* Further consolidate symbol namesBad Diode9 days2-103/+124
* Continue consolidation with proper namingBad Diode9 days1-71/+71
* Consolidate semantic analyzer functionsBad Diode9 days2-413/+103
* Fix a bug with type resolution for inner structsBad Diode10 days2-18/+15
* Fix struct literal assignmentBad Diode10 days2-28/+39
* Fix typechecking for nested struct literalsBad Diode10 days3-19/+38
* Add better ergonomics for nested struct literalsBad Diode10 days2-11/+47
* Fix bug in struct/enum field matchingBad Diode10 days2-24/+35
* Bugfixes for struct accessorsBad Diode10 days2-68/+86
* Update inner struct symbol resolutionBad Diode10 days3-21/+22
* Add inner struct typecheckingBad Diode10 days2-78/+159
* Add compound types for anonymous struct fieldsBad Diode10 days3-80/+93
* Remove parenthesis requirement from match, while, ifBad Diode11 days3-23/+11
* Add struct literals typecheckingBad Diode11 days4-59/+106
* Change grammar for struct literalsBad Diode11 days2-42/+44
* Fix set typecheckingBad Diode11 days2-4/+14
* Add typechecking for structs and struct fieldsBad Diode11 days2-8/+105
* Add field accessor for typechecking enum fieldsBad Diode11 days2-5/+43
* Add typechecking for enum fieldsBad Diode11 days4-34/+81
* Fix typechecking issues for bitops testsBad Diode11 days2-8/+14
* Add funcall typecheckingBad Diode11 days2-42/+79
* Make sure nil return values and parameters are considered as suchBad Diode11 days1-2/+16
* Add more graph viz for function maps and typesBad Diode11 days2-44/+205
* Change typecheck returns to emit err on siteBad Diode11 days1-29/+16
* Typecheck return values in the entire function bodyBad Diode12 days2-9/+86
* Add proper parsing of return statements and functions paramsBad Diode12 days3-18/+41
* Add wip function typecheckingBad Diode12 days2-9/+82
* Add non-exhaustive typechecking for cond/match exprBad Diode12 days3-11/+64
* Add set typecheckingBad Diode12 days2-8/+33
* Add while typecheckingBad Diode12 days2-4/+22
* Add typechecking for if expressionsBad Diode12 days2-10/+50
* Change typechecking to be independent of the symbolic checkingBad Diode12 days2-52/+122
* Add more expressions to type inference methodBad Diode12 days2-25/+105
* Implement basic type inference for numbers and symbolsBad Diode12 days2-30/+54
* Start basic type checking/inferenceBad Diode12 days2-123/+91
* Add constrain to let parsing either type or value must be presentBad Diode13 days3-2/+8
* Start implementing the typecheckerBad Diode2024-06-213-59/+225
* Remove old files no longer needed as referenceBad Diode2024-06-2113-1106/+139
* Add semantic duplication check for enum fieldsBad Diode2024-06-212-13/+16
* Add semantic checking for enum constructsBad Diode2024-06-214-54/+108
* Fix scope allocation bug (non zero!)Bad Diode2024-06-211-3/+6
* Add scope pointer to AST nodesBad Diode2024-06-212-1/+4
* Remove unnecessary scope creation.Bad Diode2024-06-211-32/+59
* Add a basic symbol checkerBad Diode2024-06-218-133/+450
* Add a couple of macros for ergonomic set/map creationBad Diode2024-06-202-85/+148
generated by cgit v1.2.1 (git 2.18.0) at 2024-07-05 21:49:24 +0000