/**
 ** \file combine/type-checker.hh
 ** \brief Declaration of combine::TypeChecker.
 */

#pragma once

#include <object/type-checker.hh>
#include <overload/binder.hh>
#include <overload/type-checker.hh>
#include <type/class.hh>
#include <type/types.hh>

namespace combine
{
  /// Perform type checking, allowing objects, and compute
  /// the bindings of the object's methods and fields.
  // FIXME: Some code was deleted here (class TypeChecker inheriting from overload::TypeChecker and object::TypeChecker).

} // namespace combine