aboutsummaryrefslogtreecommitdiffstats
path: root/tests/semantics.bad
Commit message (Collapse)AuthorAgeFilesLines
* Prepare for array/pointer typecheckingBad Diode13 days1-98/+112
|
* Add enum de-structuring and int matching on match exprBad Diode13 days1-1/+24
|
* Fill up main symbol table with everything we needBad Diode13 days1-21/+20
|
* Further consolidate symbol namesBad Diode13 days1-2/+2
|
* Consolidate semantic analyzer functionsBad Diode13 days1-21/+38
|
* Fix a bug with type resolution for inner structsBad Diode13 days1-17/+14
|
* Fix struct literal assignmentBad Diode13 days1-7/+10
|
* Fix typechecking for nested struct literalsBad Diode13 days1-0/+2
|
* Add better ergonomics for nested struct literalsBad Diode13 days1-5/+15
|
* Fix bug in struct/enum field matchingBad Diode13 days1-1/+0
|
* Bugfixes for struct accessorsBad Diode14 days1-17/+41
|
* Update inner struct symbol resolutionBad Diode14 days1-9/+4
|
* Add inner struct typecheckingBad Diode14 days1-5/+26
|
* Add compound types for anonymous struct fieldsBad Diode14 days1-2/+12
|
* Add struct literals typecheckingBad Diode2024-06-251-23/+29
|
* Fix set typecheckingBad Diode2024-06-241-1/+1
|
* Add typechecking for structs and struct fieldsBad Diode2024-06-241-1/+17
|
* 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-09 09:55:45 +0000