aboutsummaryrefslogtreecommitdiffstats
path: root/src
Commit message (Expand)AuthorAgeFilesLines
* Fix a segfaultBad Diode7 days1-3/+3
* Add enum de-structuring and int matching on match exprBad Diode7 days1-11/+54
* Add err to analyzer contextBad Diode7 days1-2/+33
* Fill up main symbol table with everything we needBad Diode7 days1-3/+10
* Further consolidate symbol namesBad Diode7 days1-101/+122
* Continue consolidation with proper namingBad Diode7 days1-71/+71
* Consolidate semantic analyzer functionsBad Diode7 days1-392/+65
* Fix a bug with type resolution for inner structsBad Diode7 days1-1/+1
* Fix struct literal assignmentBad Diode7 days1-21/+29
* Fix typechecking for nested struct literalsBad Diode7 days2-19/+36
* Add better ergonomics for nested struct literalsBad Diode7 days1-6/+32
* Fix bug in struct/enum field matchingBad Diode7 days1-23/+35
* Bugfixes for struct accessorsBad Diode8 days1-51/+45
* Update inner struct symbol resolutionBad Diode8 days2-12/+18
* Add inner struct typecheckingBad Diode8 days1-73/+133
* Add compound types for anonymous struct fieldsBad Diode8 days2-78/+81
* Remove parenthesis requirement from match, while, ifBad Diode8 days1-12/+0
* Add struct literals typecheckingBad Diode8 days2-10/+50
* Change grammar for struct literalsBad Diode9 days1-39/+41
* Fix set typecheckingBad Diode9 days1-3/+13
* Add typechecking for structs and struct fieldsBad Diode9 days1-7/+88
* Add field accessor for typechecking enum fieldsBad Diode9 days1-5/+40
* Add typechecking for enum fieldsBad Diode9 days1-9/+51
* Fix typechecking issues for bitops testsBad Diode9 days1-7/+13
* Add funcall typecheckingBad Diode9 days1-16/+45
* Make sure nil return values and parameters are considered as suchBad Diode9 days1-2/+16
* Add more graph viz for function maps and typesBad Diode9 days1-19/+174
* Change typecheck returns to emit err on siteBad Diode9 days1-29/+16
* Typecheck return values in the entire function bodyBad Diode9 days1-8/+81
* Add proper parsing of return statements and functions paramsBad Diode9 days2-9/+33
* Add wip function typecheckingBad Diode10 days1-0/+73
* Add non-exhaustive typechecking for cond/match exprBad Diode10 days2-7/+55
* Add set typecheckingBad Diode10 days1-0/+23
* Add while typecheckingBad Diode10 days1-4/+18
* Add typechecking for if expressionsBad Diode10 days1-0/+30
* Change typechecking to be independent of the symbolic checkingBad Diode10 days1-46/+112
* Add more expressions to type inference methodBad Diode10 days1-25/+101
* Implement basic type inference for numbers and symbolsBad Diode10 days1-28/+48
* Start basic type checking/inferenceBad Diode10 days1-122/+89
* Add constrain to let parsing either type or value must be presentBad Diode10 days2-1/+7
* Start implementing the typecheckerBad Diode12 days2-6/+158
* Remove old files no longer needed as referenceBad Diode12 days12-1068/+89
* Add semantic duplication check for enum fieldsBad Diode12 days1-8/+16
* Add semantic checking for enum constructsBad Diode12 days2-11/+50
* Fix scope allocation bug (non zero!)Bad Diode12 days1-3/+6
* Add scope pointer to AST nodesBad Diode12 days2-1/+4
* Remove unnecessary scope creation.Bad Diode12 days1-32/+59
* Add a basic symbol checkerBad Diode12 days3-126/+383
* Add a couple of macros for ergonomic set/map creationBad Diode13 days2-85/+148
* Make sure symbol chains continue as expected.Bad Diode13 days1-0/+7