Changeset c92bdcc for src/GenPoly/GenPoly.cpp

Timestamp:

May 10, 2024, 4:06:07 PM (8 weeks ago)

Author:

Andrew Beach <ajbeach@…>

Branches:

master

Children:

0f612d2

Parents:

41c8312

Message:

Updated the rest of the names in src/ (except for the generated files).

File:

• src/GenPoly/GenPoly.cpp (moved) (moved from src/GenPoly/GenPoly.cc) (2 diffs)

src/GenPoly/GenPoly.cpp

@@ -5 +5 @@
 // file "LICENCE" distributed with Cforall.
 //
-// GenPoly.cc -- General GenPoly utilities.
+// GenPoly.cpp -- General GenPoly utilities.
 //
 // Author           : Richard C. Bilson
@@ -14 +14 @@
 //
 
-#include "GenPoly.h"
-
-#include <cassert>                      // for assertf, assert
-#include <iostream>                     // for operator<<, ostream, basic_os...
-#include <iterator>                     // for back_insert_iterator, back_in...
-#include <list>                         // for list, _List_iterator, list<>:...
-#include <typeindex>                    // for type_index
-#include <utility>                      // for pair
-#include <vector>                       // for vector
+#include "GenPoly.hpp"
+
+#include <cassert>                        // for assertf, assert
+#include <iostream>                       // for operator<<, ostream, basic_...
+#include <iterator>                       // for back_insert_iterator, back_...
+#include <list>                           // for list, _List_iterator, list<...
+#include <typeindex>                      // for type_index
+#include <utility>                        // for pair
+#include <vector>                         // for vector
 
 #include "AST/Expr.hpp"
 #include "AST/Type.hpp"
 #include "AST/TypeSubstitution.hpp"
-#include "GenPoly/ErasableScopedMap.h"  // for ErasableScopedMap<>::const_it...
-#include "ResolvExpr/typeops.h"         // for flatten
+#include "GenPoly/ErasableScopedMap.hpp"  // for ErasableScopedMap<>::const_...
+#include "ResolvExpr/Typeops.hpp"         // for flatten
 
 using namespace std;