From b541cf6baf9b01a59883341f27d3394d5deaaebc Mon Sep 17 00:00:00 2001 From: Sofia Date: Mon, 13 Apr 2026 18:28:17 +0300 Subject: [PATCH] Update README.md --- README.md | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index cb89f97..775c678 100644 --- a/README.md +++ b/README.md @@ -29,7 +29,11 @@ Currently the stages are as follows: a format that is easier for the computer to process. The AST itself lives in [`src/ast.h`](src/ast.h), and the code for the parsing phase lives in [`src/parsing.cpp`](src/parsing.cpp). -4. **TODO:** Typechecking phase hasn't yet been developed, but it will go here. +4. In the typechecking stage we do static analysis on the generated AST to make + sure expected types match true types, and do other checks (such as checking + that the correct amount of parameters is provided in function calls). The + source code for this stage lives in + [`src/typechecker.cpp`](src/typechecker.cpp). 5. Finally the program is **compiled**, or in other words **code-generated**, hence why this is the **codegen** stage. This is where the AST from the previous stages is taken and LLVM Intermediate Representation is produced