BiTypeCheckerSynthesize.cpp File Reference

All synthesize() methods, call-dispatch helpers, and generic unification/substitution for BiTypeCheckerVisitor. More...

#include "typecheck/BiTypeChecker.h"
#include "ast/Ast.h"
#include "fmt/format.h"
#include "typecheck/Types.h"
#include "util/MonomorphizedName.h"
#include "util/Logging.h"

Include dependency graph for BiTypeCheckerSynthesize.cpp:

Macros
#define	DEBUG_TYPE   "typecheck"

Detailed Description

All synthesize() methods, call-dispatch helpers, and generic unification/substitution for BiTypeCheckerVisitor.