aboutsummaryrefslogtreecommitdiffstats
path: root/tests/semantics.bad
Commit message (Expand)AuthorAgeFilesLines
* Add field accessor for typechecking enum fieldsBad Diode2024-06-241-0/+3
* Add typechecking for enum fieldsBad Diode2024-06-241-17/+26
* Add funcall typecheckingBad Diode2024-06-241-26/+34
* Add more graph viz for function maps and typesBad Diode2024-06-241-25/+31
* Typecheck return values in the entire function bodyBad Diode2024-06-241-1/+5
* Add proper parsing of return statements and functions paramsBad Diode2024-06-241-9/+8
* Add wip function typecheckingBad Diode2024-06-231-9/+9
* Add non-exhaustive typechecking for cond/match exprBad Diode2024-06-231-4/+9
* Add set typecheckingBad Diode2024-06-231-8/+10
* Add while typecheckingBad Diode2024-06-231-0/+4
* Add typechecking for if expressionsBad Diode2024-06-231-10/+20
* Change typechecking to be independent of the symbolic checkingBad Diode2024-06-231-6/+10
* Add more expressions to type inference methodBad Diode2024-06-231-0/+4
* Implement basic type inference for numbers and symbolsBad Diode2024-06-231-2/+6
* Start basic type checking/inferenceBad Diode2024-06-231-1/+2
* Start implementing the typecheckerBad Diode2024-06-211-53/+67
* Remove old files no longer needed as referenceBad Diode2024-06-211-38/+50
* Add semantic duplication check for enum fieldsBad Diode2024-06-211-5/+0
* Add semantic checking for enum constructsBad Diode2024-06-211-37/+47
* Add a basic symbol checkerBad Diode2024-06-211-0/+59
generated by cgit v1.2.1 (git 2.18.0) at 2024-07-22 22:52:45 +0000