source: translator/GenPoly/GenPoly.h @ c11e31c

ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsctordeferred_resndemanglerenumforall-pointer-decaygc_noraiijacob/cs343-translationjenkins-sandboxmemorynew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newstringwith_gc
Last change on this file since c11e31c was 51b7345, checked in by Peter A. Buhr <pabuhr@…>, 10 years ago

initial commit

  • Property mode set to 100644
File size: 557 bytes
Line 
1/*
2 * This file is part of the Cforall project
3 *
4 * $Id: GenPoly.h,v 1.4 2005/08/29 20:14:13 rcbilson Exp $
5 *
6 */
7
8#include <map>
9#include <string>
10#include <iostream>
11#include "SynTree/Declaration.h"
12
13namespace GenPoly {
14
15typedef std::map< std::string, TypeDecl::Kind > TyVarMap;
16
17bool needsAdapter( FunctionType *adaptee, const TyVarMap &tyVars );
18bool isPolyFun( FunctionType *fun, const TyVarMap &tyVars );
19bool isPolyVal( Type *type, const TyVarMap &tyVars );
20void printTyVarMap( std::ostream &os, const TyVarMap &tyVarMap );
21
22} // namespace GenPoly
Note: See TracBrowser for help on using the repository browser.