Changes in src/ResolvExpr/Unify.cc [89e6ffc:03da511]

File:

• src/ResolvExpr/Unify.cc (modified) (2 diffs)

src/ResolvExpr/Unify.cc

@@ -60 +60 @@
                 virtual void visit(TupleType *tupleType);
                 virtual void visit(VarArgsType *varArgsType);
-                virtual void visit(ZeroType *zeroType);
-                virtual void visit(OneType *oneType);
 
                 template< typename RefType > void handleRefType( RefType *inst, Type *other );
@@ -590 +588 @@
         }
 
-        void Unify::visit(ZeroType *zeroType) {
-                result = dynamic_cast< ZeroType* >( type2 );
-        }
-
-        void Unify::visit(OneType *oneType) {
-                result = dynamic_cast< OneType* >( type2 );
-        }
-
 } // namespace ResolvExpr