1 files changed, 18 insertions, 0 deletions
diff --git a/tiger-compiler/src/type/type.cc b/tiger-compiler/src/type/type.cc
new file mode 100644
index 0000000..e0e448d
--- /dev/null
+++ b/tiger-compiler/src/type/type.cc
@@ -0,0 +1,18 @@
+/**
+ ** \file type/type.cc
+ ** \brief Implementation for type/type.hh.
+ */
+
+#include <ostream>
+
+#include <type/type.hh>
+
+namespace type
+{
+  const Type& Type::actual() const { return *this; }
+
+  bool Type::compatible_with(const Type& other) const { return *this == other; }
+
+  const misc::xalloc<bool> hide_actual_types;
+
+} // namespace type