Types.cpp File Reference

Implements the core Type system for Sammine. More...

#include "typecheck/Types.h"
#include "util/Utilities.h"
#include <set>
#include <span>

Include dependency graph for Types.cpp:

Functions
std::optional< std::string >	incompatibility_hint (const Type &expected, const Type &actual)

Detailed Description

Implements the core Type system for Sammine.