diff options
| author | José Fonseca <jose.r.fonseca@gmail.com> | 2012-05-17 08:38:04 +0100 |
|---|---|---|
| committer | José Fonseca <jose.r.fonseca@gmail.com> | 2012-05-17 08:38:04 +0100 |
| commit | 83ece2b7909bd519e6a0bfa4e6a8b04c9ff0b206 (patch) | |
| tree | 620f6d5daa8b0114d318bf0451a953dd22eaae6e /cli/cli_pickle.cpp | |
| parent | 33b9a0fb1189e9fb3c0cb9abfb8c4ea5946a19a9 (diff) | |
Pickle Repr nodes too.
Diffstat (limited to 'cli/cli_pickle.cpp')
| -rw-r--r-- | cli/cli_pickle.cpp | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/cli/cli_pickle.cpp b/cli/cli_pickle.cpp index 73a5da46..ffea40b7 100644 --- a/cli/cli_pickle.cpp +++ b/cli/cli_pickle.cpp @@ -152,6 +152,14 @@ public: writer.writeInt(node->value); } + void visit(Repr *r) { + if (symbolic) { + _visit(r->humanValue); + } else { + _visit(r->machineValue); + } + } + void visit(Call *call) { writer.beginTuple(); |