typecheck Directory Reference

Directory dependency graph for typecheck:

Files
	BiTypeChecker.cpp
	Implementation of BiTypeCheckerVisitor: visit() methods, registration, and helpers. Synthesize methods are in BiTypeCheckerSynthesize.cpp.
	BiTypeCheckerSynthesize.cpp
	All synthesize() methods, call-dispatch helpers, and generic unification/substitution for BiTypeCheckerVisitor.
	LinearTypeChecker.cpp
	Implements linear type checking — enforces that heap-allocated ('ptr<T>) pointers are consumed exactly once before scope exit.
	Types.cpp
	Implements the core Type system for Sammine.