aboutsummaryrefslogtreecommitdiffstats
path: root/src/main.c
Commit message (Expand)AuthorAgeFilesLines
* Add compilation of binary logic expressionsBad Diode2024-06-281-0/+13
* Split compiler/vm filesBad Diode2024-06-281-1/+3
* Add bytecode compilation for strings and booleansBad Diode2024-06-281-1266/+35
* Fix some typechecking errorsBad Diode2024-06-281-1/+15
* More pointers and array typecheckingBad Diode2024-06-271-10/+22
* Add initial pointer and array access/declaration typecheckingBad Diode2024-06-271-12/+46
* Prepare for array/pointer typecheckingBad Diode2024-06-261-1/+0
* Fix a segfaultBad Diode2024-06-261-3/+3
* Add enum de-structuring and int matching on match exprBad Diode2024-06-261-11/+54
* Add err to analyzer contextBad Diode2024-06-261-2/+33
* Fill up main symbol table with everything we needBad Diode2024-06-261-3/+10
* Further consolidate symbol namesBad Diode2024-06-261-101/+122
* Continue consolidation with proper namingBad Diode2024-06-261-71/+71
* Consolidate semantic analyzer functionsBad Diode2024-06-261-392/+65
* Fix a bug with type resolution for inner structsBad Diode2024-06-261-1/+1
* Fix struct literal assignmentBad Diode2024-06-261-21/+29
* Fix typechecking for nested struct literalsBad Diode2024-06-261-18/+35
* Fix bug in struct/enum field matchingBad Diode2024-06-261-23/+35
* Bugfixes for struct accessorsBad Diode2024-06-251-51/+45
* Update inner struct symbol resolutionBad Diode2024-06-251-10/+17
* Add inner struct typecheckingBad Diode2024-06-251-73/+133
* Add compound types for anonymous struct fieldsBad Diode2024-06-251-30/+32
* Add struct literals typecheckingBad Diode2024-06-251-9/+49
* 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-241-9/+25
* Add wip function typecheckingBad Diode2024-06-231-0/+73
* Add non-exhaustive typechecking for cond/match exprBad Diode2024-06-231-1/+47
* 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-231-1/+1
* Start implementing the typecheckerBad Diode2024-06-211-6/+154
* Remove old files no longer needed as referenceBad Diode2024-06-211-6/+89
* Add semantic duplication check for enum fieldsBad Diode2024-06-211-8/+16
* Add semantic checking for enum constructsBad Diode2024-06-211-10/+46
* Fix scope allocation bug (non zero!)Bad Diode2024-06-211-3/+6
* Add scope pointer to AST nodesBad Diode2024-06-211-1/+3