writer.writeInt(node->value);
}
+ void visit(Repr *r) {
+ if (symbolic) {
+ _visit(r->humanValue);
+ } else {
+ _visit(r->machineValue);
+ }
+ }
+
void visit(Call *call) {
writer.beginTuple();
os::setBinaryMode(stdout);
+ std::cout.sync_with_stdio(false);
+
PickleWriter writer(std::cout);
PickleVisitor visitor(writer, symbolic);