aboutsummaryrefslogtreecommitdiffstats
path: root/tests/semantics.bad
Commit message (Expand)AuthorAgeFilesLines
* Add enum de-structuring and int matching on match exprBad Diode9 days1-1/+24
* Fill up main symbol table with everything we needBad Diode9 days1-21/+20
* Further consolidate symbol namesBad Diode9 days1-2/+2
* Consolidate semantic analyzer functionsBad Diode9 days1-21/+38
* Fix a bug with type resolution for inner structsBad Diode9 days1-17/+14
* Fix struct literal assignmentBad Diode10 days1-7/+10
* Fix typechecking for nested struct literalsBad Diode10 days1-0/+2
* Add better ergonomics for nested struct literalsBad Diode10 days1-5/+15
* Fix bug in struct/enum field matchingBad Diode10 days1-1/+0
* Bugfixes for struct accessorsBad Diode10 days1-17/+41
* Update inner struct symbol resolutionBad Diode10 days1-9/+4
* Add inner struct typecheckingBad Diode10 days1-5/+26
* Add compound types for anonymous struct fieldsBad Diode10 days1-2/+12
* Add struct literals typecheckingBad Diode11 days1-23/+29
* Fix set typecheckingBad Diode11 days1-1/+1
* Add typechecking for structs and struct fieldsBad Diode11 days1-1/+17
* Add field accessor for typechecking enum fieldsBad Diode11 days1-0/+3
* Add typechecking for enum fieldsBad Diode11 days1-17/+26
* Add funcall typecheckingBad Diode11 days1-26/+34
* Add more graph viz for function maps and typesBad Diode11 days1-25/+31
* Typecheck return values in the entire function bodyBad Diode11 days1-1/+5
* Add proper parsing of return statements and functions paramsBad Diode12 days1-9/+8
* Add wip function typecheckingBad Diode12 days1-9/+9
* Add non-exhaustive typechecking for cond/match exprBad Diode12 days1-4/+9
* Add set typecheckingBad Diode12 days1-8/+10
* Add while typecheckingBad Diode12 days1-0/+4
* Add typechecking for if expressionsBad Diode12 days1-10/+20
* Change typechecking to be independent of the symbolic checkingBad Diode12 days1-6/+10
* Add more expressions to type inference methodBad Diode12 days1-0/+4
* Implement basic type inference for numbers and symbolsBad Diode12 days1-2/+6
* Start basic type checking/inferenceBad Diode12 days1-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-05 21:46:28 +0000