/****
* absyn.cc
* Tom Prince 2004/05/12
*
* Utility functions for syntax trees.
*****/

#include "absyn.h"
#include "coenv.h"

namespace absyntax {

void absyn::markPos(trans::coenv& e)
{
 e.c.markPos(getPos());
}

absyn::~absyn()
{}

void prettyindent(ostream &out, Int indent)
{
 for (Int i = 0; i < indent; i++) out << " ";
}
void prettyname(ostream &out, string name, Int indent, position pos) {
 pos.print(out);
 prettyindent(out,indent);
 out << name << "\n";
}

} // namespace absyntax