summaryrefslogtreecommitdiff
path: root/tiger-compiler/src/type/type.cc
blob: e0e448d74cb039966cc8aa9f3247f830b114b750 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
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