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

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 );
@@ -588 +590 @@
         }
 
+        void Unify::visit(ZeroType *zeroType) {
+                result = dynamic_cast< ZeroType* >( type2 );
+        }
+
+        void Unify::visit(OneType *oneType) {
+                result = dynamic_cast< OneType* >( type2 );
+        }
+
 } // namespace ResolvExpr