//
// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo
//
// The contents of this file are covered under the licence agreement in the
// file "LICENCE" distributed with Cforall.
//
// TypeEquality.h -- 
//
// Author           : Rob Schluntz
// Created On       : Tue Jul 07 16:30:07 2015
// Last Modified By : Rob Schluntz
// Last Modified On : Wed Jul 08 12:41:15 2015
// Update Count     : 6
//

namespace SymTab {
  // compare types t1 and t2 for equality
  // if vlaErr is true, then if at least one of the types is a 
  // variable-length array type, then the result will be false 
  bool typeEquals( Type * t1, Type * t2, bool vlaErr = false );
} // namespace SymTab