blob: 02370d2f1a7db1aee678b72e8ffd1d1a69ff2574 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
/**
** \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
|
