BiTypeChecker.cpp File Reference

Implementation of BiTypeCheckerVisitor: visit() methods, registration, and helpers. Synthesize methods are in BiTypeCheckerSynthesize.cpp. More...

#include "typecheck/BiTypeChecker.h"
#include "ast/Ast.h"
#include "fmt/format.h"
#include "semantics/GeneralSemanticsVisitor.h"
#include "typecheck/Monomorphizer.h"
#include "typecheck/Types.h"
#include "util/LexicalContext.h"
#include "util/MonomorphizedName.h"
#include "util/Utilities.h"
#include <set>
#include "util/Logging.h"

Include dependency graph for BiTypeChecker.cpp:

Macros
#define	DEBUG_TYPE   "typecheck"

Detailed Description

Implementation of BiTypeCheckerVisitor: visit() methods, registration, and helpers. Synthesize methods are in BiTypeCheckerSynthesize.cpp.