Changeset 81da3da4 for src/GenPoly/ScrubTypeVars.hpp

Timestamp:

Dec 11, 2023, 4:18:13 AM (22 months ago)

Author:

JiadaL <j82liang@…>

Branches:

master

Children:

21ce2c7, 2554f24

Parents:

5ddb8bf (diff), 1c85ffc (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.

Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

File:

• src/GenPoly/ScrubTypeVars.hpp (moved) (moved from src/GenPoly/ScrubTyVars.h ) (2 diffs)

src/GenPoly/ScrubTypeVars.hpp

@@ -5 +5 @@
 // file "LICENCE" distributed with Cforall.
 //
-// ScrubTyVars.h -- Remove polymorphic types.
+// ScrubTypeVars.hpp -- Remove polymorphic types.
 //
 // Author           : Richard C. Bilson
@@ -16 +16 @@
 #pragma once
 
-#include <cassert>            // for assert
+#include <cassert>            // for strict_dynamic_cast
 
 #include "AST/Fwd.hpp"        // for Node
-#include "GenPoly.h"          // for TypeVarMap, isPolyType, isDynType
+#include "GenPoly.h"          // for TypeVarMap
 
 namespace GenPoly {