aboutsummaryrefslogtreecommitdiffstats
path: root/src/main.c
Commit message (Expand)AuthorAgeFilesLines
* Prepare for array/pointer typecheckingBad Diode7 days1-1/+0
* 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 days1-18/+35
* 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 days1-10/+17
* Add inner struct typecheckingBad Diode8 days1-73/+133
* Add compound types for anonymous struct fieldsBad Diode8 days1-30/+32
* Add struct literals typecheckingBad Diode8 days1-9/+49
* 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 days1-9/+25
* Add wip function typecheckingBad Diode10 days1-0/+73
* Add non-exhaustive typechecking for cond/match exprBad Diode10 days1-1/+47
* 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 days1-1/+1
* Start implementing the typecheckerBad Diode12 days1-6/+154
* Remove old files no longer needed as referenceBad Diode12 days1-6/+89
* Add semantic duplication check for enum fieldsBad Diode12 days1-8/+16
* Add semantic checking for enum constructsBad Diode12 days1-10/+46
* Fix scope allocation bug (non zero!)Bad Diode12 days1-3/+6
* Add scope pointer to AST nodesBad Diode12 days1-1/+3
* Remove unnecessary scope creation.Bad Diode12 days1-32/+59
* Add a basic symbol checkerBad Diode12 days1-13/+271
* Add a couple of macros for ergonomic set/map creationBad Diode13 days1-0/+12
* Move vm/chunk compiler to separate fileBad Diode13 days1-404/+40
* Add temp result printing after OP_HALTBad Diode14 days1-4/+22
* Add proper LD instruction to lit int value typeBad Diode14 days1-28/+81