Changes in src/SynTree/Visitor.cc [8688ce1:89e6ffc]

File:

• src/SynTree/Visitor.cc (modified) (3 diffs)

src/SynTree/Visitor.cc

@@ -287 +287 @@
 }
 
-void Visitor::visit( UntypedValofExpr *valofExpr ) {
-        acceptAll( valofExpr->get_results(), *this );
-        maybeAccept( valofExpr->get_body(), *this );
+void Visitor::visit( ConstructorExpr * ctorExpr ) {
+        acceptAll( ctorExpr->get_results(), *this );
+        maybeAccept( ctorExpr->get_callExpr(), *this );
 }
 
@@ -296 +296 @@
         maybeAccept( compLitExpr->get_type(), *this );
         maybeAccept( compLitExpr->get_initializer(), *this );
+}
+
+void Visitor::visit( UntypedValofExpr *valofExpr ) {
+        acceptAll( valofExpr->get_results(), *this );
+        maybeAccept( valofExpr->get_body(), *this );
 }
 
@@ -378 +383 @@
 }
 
+void Visitor::visit( ZeroType *zeroType ) {
+        acceptAll( zeroType->get_forall(), *this );
+}
+
+void Visitor::visit( OneType *oneType ) {
+        acceptAll( oneType->get_forall(), *this );
+}
+
 void Visitor::visit( SingleInit *singleInit ) {
         singleInit->get_value()->accept( *this );