}
void visit(Blob *node) {
- writer.writeString((const char *)node->buf, node->size);
+ writer.writeByteArray(node->buf, node->size);
}
void visit(Pointer *node) {
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);