// -*- c-basic-offset: 4 -*-
#include "type_checking.hh"
#include "ast.hh"
#include <iostream>

using namespace std;
using namespace ast;

int
main()
{
    // FIXME: no test here, all is currently tested in the type
    // checking tests.

    return 0;
}