// // 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. // // Box.cc -- // // Author : Richard C. Bilson // Created On : Mon May 18 07:44:20 2015 // Last Modified By : Rob Schluntz // Last Modified On : Fri Dec 18 14:53:08 2015 // Update Count : 217 // #include #include #include #include #include #include #include "Box.h" #include "PolyMutator.h" #include "FindFunction.h" #include "ScrubTyVars.h" #include "Parser/ParseNode.h" #include "SynTree/Constant.h" #include "SynTree/Type.h" #include "SynTree/Expression.h" #include "SynTree/Initializer.h" #include "SynTree/Statement.h" #include "SynTree/Mutator.h" #include "ResolvExpr/TypeEnvironment.h" #include "SymTab/Mangler.h" #include "SemanticError.h" #include "UniqueName.h" #include "utility.h" #include // temporary namespace GenPoly { namespace { const std::list