type-checker.hh

Go to the documentation of this file.

#ifndef OVERLOAD_TYPE_CHECKER_HH
# define OVERLOAD_TYPE_CHECKER_HH

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

namespace overload
{

  class TypeChecker : public type::TypeChecker
  {
  public:
    typedef type::TypeChecker super_type;
    using super_type::operator();

  public:
    TypeChecker(overfun_bindings_type* overfun_bindings);
    virtual ~TypeChecker();

  // FIXME: Some code was deleted here.
  private:
    overfun_bindings_type* overfun_bindings_;
  };

} // namespace type

#endif // !OVERLOAD_TYPE_CHECKER_HH