LRDE Tiger Compiler  1.34a $Id: 7fef12e1f5fa43449d667a0eec1d837c40fc1202 $
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
type.cc File Reference

Implementation for type/type.hh. More...

#include <ostream>
#include <type/type.hh>
Include dependency graph for type.cc:

Namespaces

namespace  type
 Type-checking an ast::Ast.

Variables

const misc::xalloc< bool > type::hide_actual_types
 Hide actual types? (i.e., print only the surface type?)

Detailed Description

Implementation for type/type.hh.