Implementation of BiTypeCheckerVisitor, an ASTVisitor that traverses the AST to synthesize node types, perform bidirectional consistency checks, and register functions and variables. More...

#include "typecheck/BiTypeChecker.h"
#include "ast/Ast.h"
#include "fmt/format.h"
#include "typecheck/Types.h"
#include "util/LexicalContext.h"
#include "util/Utilities.h"
#include <ranges>

Include dependency graph for BiTypeChecker.cpp:

Detailed Description

Implementation of BiTypeCheckerVisitor, an ASTVisitor that traverses the AST to synthesize node types, perform bidirectional consistency checks, and register functions and variables.