aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Add bytecode compilation for strings and booleansBad Diode2024-06-287-1744/+1257
* Fix some typechecking errorsBad Diode2024-06-284-265/+165
* More pointers and array typecheckingBad Diode2024-06-272-20/+40
* Add initial pointer and array access/declaration typecheckingBad Diode2024-06-273-17/+56
* Prepare for array/pointer typecheckingBad Diode2024-06-263-109/+122
* Fix a segfaultBad Diode2024-06-264-29/+17
* Add enum de-structuring and int matching on match exprBad Diode2024-06-262-12/+78
* Add err to analyzer contextBad Diode2024-06-261-2/+33
* Fill up main symbol table with everything we needBad Diode2024-06-262-24/+30
* Further consolidate symbol namesBad Diode2024-06-262-103/+124
* Continue consolidation with proper namingBad Diode2024-06-261-71/+71
* Consolidate semantic analyzer functionsBad Diode2024-06-262-413/+103
* Fix a bug with type resolution for inner structsBad Diode2024-06-262-18/+15
* Fix struct literal assignmentBad Diode2024-06-262-28/+39
* Fix typechecking for nested struct literalsBad Diode2024-06-263-19/+38
* Add better ergonomics for nested struct literalsBad Diode2024-06-262-11/+47
* Fix bug in struct/enum field matchingBad Diode2024-06-262-24/+35
* Bugfixes for struct accessorsBad Diode2024-06-252-68/+86
* Update inner struct symbol resolutionBad Diode2024-06-253-21/+22
* Add inner struct typecheckingBad Diode2024-06-252-78/+159
* Add compound types for anonymous struct fieldsBad Diode2024-06-253-80/+93
* Remove parenthesis requirement from match, while, ifBad Diode2024-06-253-23/+11
* Add struct literals typecheckingBad Diode2024-06-254-59/+106
* Change grammar for struct literalsBad Diode2024-06-242-42/+44
* Fix set typecheckingBad Diode2024-06-242-4/+14
* Add typechecking for structs and struct fieldsBad Diode2024-06-242-8/+105
* Add field accessor for typechecking enum fieldsBad Diode2024-06-242-5/+43
* Add typechecking for enum fieldsBad Diode2024-06-244-34/+81
* Fix typechecking issues for bitops testsBad Diode2024-06-242-8/+14
* Add funcall typecheckingBad Diode2024-06-242-42/+79
* 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-242-44/+205
* Change typecheck returns to emit err on siteBad Diode2024-06-241-29/+16
* Typecheck return values in the entire function bodyBad Diode2024-06-242-9/+86
* Add proper parsing of return statements and functions paramsBad Diode2024-06-243-18/+41
* Add wip function typecheckingBad Diode2024-06-232-9/+82
* Add non-exhaustive typechecking for cond/match exprBad Diode2024-06-233-11/+64
* Add set typecheckingBad Diode2024-06-232-8/+33
* Add while typecheckingBad Diode2024-06-232-4/+22
* Add typechecking for if expressionsBad Diode2024-06-232-10/+50
* Change typechecking to be independent of the symbolic checkingBad Diode2024-06-232-52/+122
* Add more expressions to type inference methodBad Diode2024-06-232-25/+105
* Implement basic type inference for numbers and symbolsBad Diode2024-06-232-30/+54
* Start basic type checking/inferenceBad Diode2024-06-232-123/+91
* Add constrain to let parsing either type or value must be presentBad Diode2024-06-233-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