typecheck Directory Reference

Directory dependency graph for typecheck:

Files
	BiTypeChecker.h
	Defines the BiTypeCheckerVisitor, consist of the flow for Bi-Directional Type checking, which allows for synthesizing types, validating consistency, and register types.
	LinearTypeChecker.h
	Linear type checker — tracks heap-allocated pointers and enforces they are consumed (freed or moved) exactly once before scope exit.
	Monomorphizer.h
	Types.h
	Defines the core Type system for Sammine.