Changes in src/ResolvExpr/Occurs.cc [85dac33:00ac42e]

File:

• src/ResolvExpr/Occurs.cc (modified) (3 diffs)

src/ResolvExpr/Occurs.cc

@@ -24 +24 @@
         struct Occurs : public WithVisitorRef<Occurs> {
                 Occurs( std::string varName, const TypeEnvironment &env );
-                void previsit( const TypeInstType * typeInst );
+                void previsit( TypeInstType * typeInst );
 
                 bool result;
@@ -31 +31 @@
         };
 
-        bool occurs( const Type *type, const std::string & varName, const TypeEnvironment &env ) {
+        bool occurs( Type *type, std::string varName, const TypeEnvironment &env ) {
                 PassVisitor<Occurs> occur( varName, env );
                 type->accept( occur );
@@ -45 +45 @@
         }
 
-        void Occurs::previsit( const TypeInstType * typeInst ) {
+        void Occurs::previsit( TypeInstType * typeInst ) {
                 ///   std::cerr << "searching for vars: ";
 ///   std::copy( eqvVars.begin(), eqvVars.end(), std::ostream_iterator< std::string >( std::cerr, " " ) );