summaryrefslogtreecommitdiff
path: root/tiger-compiler/src/overload/type-checker.cc
blob: 1f32113400678d846320f9dbee5428610580abdb (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
/**
 ** \file overload/type-checker.cc
 ** \brief Implementation for overload/type-checker.hh.
 */

#include <algorithm>
#include <sstream>

#include <misc/indent.hh>
#include <overload/type-checker.hh>
#include <type/types.hh>

namespace overload
{
  TypeChecker::TypeChecker(const overfun_bindings_type& overfun_bindings)
    : overfun_bindings_{overfun_bindings}
  {}

  // FIXME: Some code was deleted here.

} // namespace overload