Changes in src/GenPoly/ScrubTyVars.h [ea2ed3a:fad1f14]

File:

• src/GenPoly/ScrubTyVars.h (modified) (5 diffs)

src/GenPoly/ScrubTyVars.h

@@ -10 +10 @@
 // Created On       : Mon May 18 07:44:20 2015
 // Last Modified By : Andrew Beach
-// Last Modified On : Wed Dec  7 16:57:00 2022
-// Update Count     : 5
+// Last Modified On : Fri Oct  7 15:51:00 2022
+// Update Count     : 4
 //
 
@@ -109 +109 @@
         }
 
-// ScrubMode and scrubTypeVarsBase are internal.
-enum class ScrubMode { FromMap, DynamicFromMap, All };
-
-const ast::Node * scrubTypeVarsBase(
-        const ast::Node * target, const TypeVarMap * typeVars, ScrubMode mode );
-
-
 /// For all polymorphic types with type variables in `typeVars`,
 /// replaces generic types, dtypes, and ftypes with the appropriate void type,
@@ -123 +116 @@
                 node_t const * target, const TypeVarMap & typeVars ) {
         return strict_dynamic_cast<node_t const *>(
-                        scrubTypeVarsBase( target, &typeVars, ScrubMode::FromMap ) );
+                        scrubTypeVars<ast::Node>( target, typeVars ) );
 }
 
@@ -130 +123 @@
 /// and sizeof/alignof expressions with the proper variable.
 template<typename node_t>
-node_t const * scrubTypeVarsDynamic(
+ast::Node const * scrubTypeVarsDynamic(
                 node_t const * target, const TypeVarMap & typeVars ) {
         return strict_dynamic_cast<node_t const *>(
-                        scrubTypeVarsBase( target, &typeVars, ScrubMode::DynamicFromMap ) );
+                        scrubTypeVarsDynamic<ast::Node>( target, typeVars ) );
 }
 
@@ -141 +134 @@
 node_t const * scrubAllTypeVars( node_t const * target ) {
         return strict_dynamic_cast<node_t const *>(
-                        scrubTypeVarsBase( target, nullptr, ScrubMode::All ) );
+                        scrubAllTypeVars<ast::Node>( target ) );
 }
+
+// We specialize for Node as a base case.
+template<>
+ast::Node const * scrubTypeVars<ast::Node>(
+                const ast::Node * target, const TypeVarMap & typeVars );
+
+template<>
+ast::Node const * scrubTypeVarsDynamic<ast::Node>(
+                ast::Node const * target, const TypeVarMap & typeVars );
+
+template<>
+ast::Node const * scrubAllTypeVars<ast::Node>( const ast::Node * target );
 
 } // namespace GenPoly