Changeset bf4fe05 for src/GenPoly/GenPoly.cpp
- Timestamp:
- May 13, 2024, 7:07:06 AM (5 months ago)
- Branches:
- master
- Children:
- ca4f2b2
- Parents:
- ec20ab9 (diff), 5f225f5 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the(diff)
links above to see all the changes relative to each parent. - File:
-
- 1 moved
Legend:
- Unmodified
- Added
- Removed
-
src/GenPoly/GenPoly.cpp
rec20ab9 rbf4fe05 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; … … 256 256 257 257 // So remaining types can be examined case by case. 258 // Recurse through type structure (conditions borrowed from Unify.c c).258 // Recurse through type structure (conditions borrowed from Unify.cpp). 259 259 260 260 if ( type_index(typeid(ast::BasicType)) == lid ) {
Note: See TracChangeset
for help on using the changeset viewer.