Changeset c92bdcc for src/GenPoly
- Timestamp:
- May 10, 2024, 4:06:07 PM (8 weeks ago)
- Branches:
- master
- Children:
- 0f612d2
- Parents:
- 41c8312
- Location:
- src/GenPoly
- Files:
-
- 7 edited
- 11 moved
Legend:
- Unmodified
- Added
- Removed
-
src/GenPoly/Box.cpp
r41c8312 rc92bdcc 14 14 // 15 15 16 #include "Box.h "16 #include "Box.hpp" 17 17 18 18 #include "AST/Decl.hpp" // for Decl, FunctionDecl, ... … … 24 24 #include "AST/Vector.hpp" // for vector 25 25 #include "AST/GenericSubstitution.hpp" // for genericSubstitution 26 #include "CodeGen/OperatorTable.h "// for isAssignment26 #include "CodeGen/OperatorTable.hpp" // for isAssignment 27 27 #include "Common/Iterate.hpp" // for group_iterate 28 #include "Common/ScopedMap.h "// for ScopedMap28 #include "Common/ScopedMap.hpp" // for ScopedMap 29 29 #include "Common/ToString.hpp" // for toCString 30 #include "Common/UniqueName.h "// for UniqueName31 #include "GenPoly/FindFunction.h "// for findFunction32 #include "GenPoly/GenPoly.h "// for getFunctionType, ...33 #include "GenPoly/Lvalue.h "// for generalizedLvalue34 #include "GenPoly/ScopedSet.h "// for ScopedSet30 #include "Common/UniqueName.hpp" // for UniqueName 31 #include "GenPoly/FindFunction.hpp" // for findFunction 32 #include "GenPoly/GenPoly.hpp" // for getFunctionType, ... 33 #include "GenPoly/Lvalue.hpp" // for generalizedLvalue 34 #include "GenPoly/ScopedSet.hpp" // for ScopedSet 35 35 #include "GenPoly/ScrubTypeVars.hpp" // for scrubTypeVars, scrubAllTypeVars 36 #include "ResolvExpr/Unify.h "// for typesCompatible37 #include "SymTab/Mangler.h "// for mangle, mangleType36 #include "ResolvExpr/Unify.hpp" // for typesCompatible 37 #include "SymTab/Mangler.hpp" // for mangle, mangleType 38 38 39 39 namespace GenPoly { -
src/GenPoly/Box.hpp
r41c8312 rc92bdcc 5 5 // file "LICENCE" distributed with Cforall. 6 6 // 7 // Box.h -- Implement polymorphic function calls and types.7 // Box.hpp -- Implement polymorphic function calls and types. 8 8 // 9 9 // Author : Richard C. Bilson -
src/GenPoly/FindFunction.cpp
r41c8312 rc92bdcc 5 5 // file "LICENCE" distributed with Cforall. 6 6 // 7 // FindFunction.c c-- Find function types in a larger type.7 // FindFunction.cpp -- Find function types in a larger type. 8 8 // 9 9 // Author : Richard C. Bilson … … 14 14 // 15 15 16 #include "FindFunction.h "16 #include "FindFunction.hpp" 17 17 18 #include <utility> // for pair18 #include <utility> // for pair 19 19 20 #include "AST/Pass.hpp" // for Pass20 #include "AST/Pass.hpp" // for Pass 21 21 #include "AST/Type.hpp" 22 #include "GenPoly/ErasableScopedMap.h " // for ErasableScopedMap<>::iterator23 #include "GenPoly/GenPoly.h " // for TyVarMap24 #include "ScrubTypeVars.hpp" // for scrubTypeVars22 #include "GenPoly/ErasableScopedMap.hpp" // for ErasableScopedMap<>::iterator 23 #include "GenPoly/GenPoly.hpp" // for TyVarMap 24 #include "ScrubTypeVars.hpp" // for scrubTypeVars 25 25 26 26 namespace GenPoly { -
src/GenPoly/FindFunction.hpp
r41c8312 rc92bdcc 5 5 // file "LICENCE" distributed with Cforall. 6 6 // 7 // FindFunction.h -- Find function types in a larger type.7 // FindFunction.hpp -- Find function types in a larger type. 8 8 // 9 9 // Author : Richard C. Bilson … … 16 16 #pragma once 17 17 18 #include "GenPoly.h " // for TypeVarMap18 #include "GenPoly.hpp" // for TypeVarMap 19 19 20 20 namespace GenPoly { -
src/GenPoly/GenPoly.cpp
r41c8312 rc92bdcc 5 5 // file "LICENCE" distributed with Cforall. 6 6 // 7 // GenPoly.c c-- General GenPoly utilities.7 // GenPoly.cpp -- General GenPoly utilities. 8 8 // 9 9 // Author : Richard C. Bilson … … 14 14 // 15 15 16 #include "GenPoly.h "17 18 #include <cassert> // for assertf, assert19 #include <iostream> // for operator<<, ostream, basic_os...20 #include <iterator> // for back_insert_iterator, back_in...21 #include <list> // for list, _List_iterator, list<>:...22 #include <typeindex> // for type_index23 #include <utility> // for pair24 #include <vector> // for vector16 #include "GenPoly.hpp" 17 18 #include <cassert> // for assertf, assert 19 #include <iostream> // for operator<<, ostream, basic_... 20 #include <iterator> // for back_insert_iterator, back_... 21 #include <list> // for list, _List_iterator, list<... 22 #include <typeindex> // for type_index 23 #include <utility> // for pair 24 #include <vector> // for vector 25 25 26 26 #include "AST/Expr.hpp" 27 27 #include "AST/Type.hpp" 28 28 #include "AST/TypeSubstitution.hpp" 29 #include "GenPoly/ErasableScopedMap.h " // for ErasableScopedMap<>::const_it...30 #include "ResolvExpr/ typeops.h" // for flatten29 #include "GenPoly/ErasableScopedMap.hpp" // for ErasableScopedMap<>::const_... 30 #include "ResolvExpr/Typeops.hpp" // for flatten 31 31 32 32 using namespace std; -
src/GenPoly/GenPoly.hpp
r41c8312 rc92bdcc 5 5 // file "LICENCE" distributed with Cforall. 6 6 // 7 // GenPoly.h -- General GenPoly utilities.7 // GenPoly.hpp -- General GenPoly utilities. 8 8 // 9 9 // Author : Richard C. Bilson … … 19 19 #include <string> // for string, allocator, operator+, basic... 20 20 21 #include "ErasableScopedMap.h "// for ErasableScopedMap21 #include "ErasableScopedMap.hpp" // for ErasableScopedMap 22 22 #include "AST/Decl.hpp" // for AggregateDecl 23 23 #include "AST/Fwd.hpp" // for ApplicationExpr, BaseInstType, Func... 24 #include "SymTab/Mangler.h "// for Mangler24 #include "SymTab/Mangler.hpp" // for Mangler 25 25 26 26 namespace ast { -
src/GenPoly/InstantiateGeneric.cpp
r41c8312 rc92bdcc 14 14 // 15 15 16 #include "InstantiateGeneric.h "16 #include "InstantiateGeneric.hpp" 17 17 18 18 #include <cassert> // for assertf, assert … … 27 27 #include "AST/TranslationUnit.hpp" // for TranslationUnit 28 28 #include "AST/Vector.hpp" // for vector 29 #include "CodeGen/OperatorTable.h "// for isAssignment30 #include "Common/ScopedMap.h "// for ScopedMap31 #include "Common/UniqueName.h "// for UniqueName32 #include "GenPoly/GenPoly.h "// for isPolyType, typesPolyCompatible29 #include "CodeGen/OperatorTable.hpp" // for isAssignment 30 #include "Common/ScopedMap.hpp" // for ScopedMap 31 #include "Common/UniqueName.hpp" // for UniqueName 32 #include "GenPoly/GenPoly.hpp" // for isPolyType, typesPolyCompatible 33 33 #include "GenPoly/ScrubTypeVars.hpp" // for scrubAllTypeVars 34 34 #include "ResolvExpr/AdjustExprType.hpp" // for adjustExprType 35 #include "ResolvExpr/Unify.h "// for typesCompatible35 #include "ResolvExpr/Unify.hpp" // for typesCompatible 36 36 37 37 namespace GenPoly { -
src/GenPoly/InstantiateGeneric.hpp
r41c8312 rc92bdcc 5 5 // file "LICENCE" distributed with Cforall. 6 6 // 7 // InstantiateGeneric.h -- Create concrete instances of generic types.7 // InstantiateGeneric.hpp -- Create concrete instances of generic types. 8 8 // 9 9 // Author : Aaron B. Moss -
src/GenPoly/Lvalue.cpp
r41c8312 rc92bdcc 14 14 // 15 15 16 #include "Lvalue.h "16 #include "Lvalue.hpp" 17 17 18 18 #include <set> … … 24 24 #include "AST/LinkageSpec.hpp" // for Linkage 25 25 #include "AST/Pass.hpp" 26 #include "Common/SemanticError.h "// for SemanticWarning26 #include "Common/SemanticError.hpp" // for SemanticWarning 27 27 #include "Common/ToString.hpp" // for toCString 28 #include "Common/UniqueName.h "// for UniqueName29 #include "GenPoly/GenPoly.h "// for genFunctionType30 #include "ResolvExpr/ typeops.h"// for typesCompatible31 #include "ResolvExpr/Unify.h "// for unify28 #include "Common/UniqueName.hpp" // for UniqueName 29 #include "GenPoly/GenPoly.hpp" // for genFunctionType 30 #include "ResolvExpr/Typeops.hpp" // for typesCompatible 31 #include "ResolvExpr/Unify.hpp" // for unify 32 32 33 33 #if 0 -
src/GenPoly/ScrubTypeVars.cpp
r41c8312 rc92bdcc 16 16 #include "ScrubTypeVars.hpp" 17 17 18 #include <utility> // for pair18 #include <utility> // for pair 19 19 20 20 #include "AST/Pass.hpp" 21 #include "GenPoly.h " // for mangleType, TyVarMap, alignof...22 #include "GenPoly/ErasableScopedMap.h " // for ErasableScopedMap<>::const_it...23 #include "SymTab/Mangler.h " // for mangleType21 #include "GenPoly.hpp" // for mangleType, TyVarMap, align... 22 #include "GenPoly/ErasableScopedMap.hpp" // for ErasableScopedMap<>::const_... 23 #include "SymTab/Mangler.hpp" // for mangleType 24 24 25 25 namespace GenPoly { -
src/GenPoly/ScrubTypeVars.hpp
r41c8312 rc92bdcc 19 19 20 20 #include "AST/Fwd.hpp" // for Node 21 #include "GenPoly.h "// for TypeVarMap21 #include "GenPoly.hpp" // for TypeVarMap 22 22 23 23 namespace GenPoly { -
src/GenPoly/Specialize.cpp
r41c8312 rc92bdcc 14 14 // 15 15 16 #include "Specialize.h "16 #include "Specialize.hpp" 17 17 18 18 #include "AST/Copy.hpp" // for deepCopy … … 20 20 #include "AST/Pass.hpp" // for Pass 21 21 #include "AST/TypeEnvironment.hpp" // for OpenVarSet, AssertionSet 22 #include "Common/UniqueName.h "// for UniqueName23 #include "GenPoly/GenPoly.h "// for getFunctionType24 #include "ResolvExpr/FindOpenVars.h "// for findOpenVars22 #include "Common/UniqueName.hpp" // for UniqueName 23 #include "GenPoly/GenPoly.hpp" // for getFunctionType 24 #include "ResolvExpr/FindOpenVars.hpp" // for findOpenVars 25 25 26 26 namespace GenPoly { -
src/GenPoly/module.mk
r41c8312 rc92bdcc 16 16 17 17 SRC_GENPOLY = \ 18 GenPoly/GenPoly.c c\19 GenPoly/GenPoly.h \20 GenPoly/Lvalue2.c c\21 GenPoly/Lvalue.h 18 GenPoly/GenPoly.cpp \ 19 GenPoly/GenPoly.hpp \ 20 GenPoly/Lvalue2.cpp \ 21 GenPoly/Lvalue.hpp 22 22 23 23 SRC += $(SRC_GENPOLY) \ 24 24 GenPoly/Box.cpp \ 25 GenPoly/Box.h \26 GenPoly/ErasableScopedMap.h \27 GenPoly/FindFunction.c c\28 GenPoly/FindFunction.h \25 GenPoly/Box.hpp \ 26 GenPoly/ErasableScopedMap.hpp \ 27 GenPoly/FindFunction.cpp \ 28 GenPoly/FindFunction.hpp \ 29 29 GenPoly/InstantiateGeneric.cpp \ 30 GenPoly/InstantiateGeneric.h \30 GenPoly/InstantiateGeneric.hpp \ 31 31 GenPoly/Lvalue.cpp \ 32 GenPoly/ScopedSet.h \32 GenPoly/ScopedSet.hpp \ 33 33 GenPoly/ScrubTypeVars.cpp \ 34 34 GenPoly/ScrubTypeVars.hpp \ 35 35 GenPoly/Specialize.cpp \ 36 GenPoly/Specialize.h 36 GenPoly/Specialize.hpp 37 37 38 38 SRCDEMANGLE += $(SRC_GENPOLY)
Note: See TracChangeset
for help on using the changeset viewer.