aboutsummaryrefslogtreecommitdiffstats
path: root/src
Commit message (Expand)AuthorAgeFilesLines
* Add bytecode compilation for strings and booleansBad Diode11 days5-1743/+1246
* Fix some typechecking errorsBad Diode11 days1-1/+15
* More pointers and array typecheckingBad Diode12 days1-10/+22
* Add initial pointer and array access/declaration typecheckingBad Diode12 days2-14/+47
* Prepare for array/pointer typecheckingBad Diode13 days1-1/+0
* Fix a segfaultBad Diode13 days1-3/+3
* Add enum de-structuring and int matching on match exprBad Diode13 days1-11/+54
* Add err to analyzer contextBad Diode13 days1-2/+33
* Fill up main symbol table with everything we needBad Diode13 days1-3/+10
* Further consolidate symbol namesBad Diode13 days1-101/+122
* Continue consolidation with proper namingBad Diode13 days1-71/+71
* Consolidate semantic analyzer functionsBad Diode13 days1-392/+65
* Fix a bug with type resolution for inner structsBad Diode13 days1-1/+1
* Fix struct literal assignmentBad Diode13 days1-21/+29
* Fix typechecking for nested struct literalsBad Diode13 days2-19/+36
* Add better ergonomics for nested struct literalsBad Diode13 days1-6/+32
* Fix bug in struct/enum field matchingBad Diode13 days1-23/+35
* Bugfixes for struct accessorsBad Diode14 days1-51/+45
* Update inner struct symbol resolutionBad Diode14 days2-12/+18
* Add inner struct typecheckingBad Diode14 days1-73/+133
* Add compound types for anonymous struct fieldsBad Diode2024-06-252-78/+81
* Remove parenthesis requirement from match, while, ifBad Diode2024-06-251-12/+0
* Add struct literals typecheckingBad Diode2024-06-252-10/+50
* Change grammar for struct literalsBad Diode2024-06-241-39/+41
* Fix set typecheckingBad Diode2024-06-241-3/+13
* Add typechecking for structs and struct fieldsBad Diode2024-06-241-7/+88
* Add field accessor for typechecking enum fieldsBad Diode2024-06-241-5/+40
* Add typechecking for enum fieldsBad Diode2024-06-241-9/+51
* Fix typechecking issues for bitops testsBad Diode2024-06-241-7/+13
* Add funcall typecheckingBad Diode2024-06-241-16/+45
* Make sure nil return values and parameters are considered as suchBad Diode2024-06-241-2/+16
* Add more graph viz for function maps and typesBad Diode2024-06-241-19/+174
* Change typecheck returns to emit err on siteBad Diode2024-06-241-29/+16
* Typecheck return values in the entire function bodyBad Diode2024-06-241-8/+81
* Add proper parsing of return statements and functions paramsBad Diode2024-06-242-9/+33
* Add wip function typecheckingBad Diode2024-06-231-0/+73
* Add non-exhaustive typechecking for cond/match exprBad Diode2024-06-232-7/+55
* Add set typecheckingBad Diode2024-06-231-0/+23
* Add while typecheckingBad Diode2024-06-231-4/+18
* Add typechecking for if expressionsBad Diode2024-06-231-0/+30
* Change typechecking to be independent of the symbolic checkingBad Diode2024-06-231-46/+112
* Add more expressions to type inference methodBad Diode2024-06-231-25/+101
* Implement basic type inference for numbers and symbolsBad Diode2024-06-231-28/+48
* Start basic type checking/inferenceBad Diode2024-06-231-122/+89
* Add constrain to let parsing either type or value must be presentBad Diode2024-06-232-1/+7
* Start implementing the typecheckerBad Diode2024-06-212-6/+158
* Remove old files no longer needed as referenceBad Diode2024-06-2112-1068/+89
* Add semantic duplication check for enum fieldsBad Diode2024-06-211-8/+16
* Add semantic checking for enum constructsBad Diode2024-06-212-11/+50
* Fix scope allocation bug (non zero!)Bad Diode2024-06-211-3/+6