//
// 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
//

class Type;

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