typecheck Directory Reference

Directory dependency graph for typecheck:

Files
	BiTypeChecker.cpp
	Implementation of BiTypeCheckerVisitor, an ASTVisitor that traverses the AST to synthesize node types, perform bidirectional consistency checks, and register functions and variables.
	Types.cpp
	Implements the core Type system for Sammine.