diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-11-05 22:28:18 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-11-05 22:28:18 -0600 |
| commit | af18cd275f340d1896c3b635dbeecbea2e521db1 (patch) | |
| tree | 438137ddb999a853b543baa70e8009da212c1e05 /src/expr/expr_template.h | |
| parent | ac8b2593bed81125cb1a494e4b8311e517d0e3d9 (diff) | |
Simplify printing with respect to expression types (#5394)
This removes infrastructure for stream property related to printing type annotations on all variables.
This is towards refactoring the printers.
Diffstat (limited to 'src/expr/expr_template.h')
| -rw-r--r-- | src/expr/expr_template.h | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/src/expr/expr_template.h b/src/expr/expr_template.h index 88c43c9a2..4c863184e 100644 --- a/src/expr/expr_template.h +++ b/src/expr/expr_template.h @@ -513,13 +513,12 @@ public: * @param out the stream to serialize this expression to * @param toDepth the depth to which to print this expression, or -1 * to print it fully - * @param types set to true to ascribe types to the output - * expressions (might break language compliance, but good for - * debugging expressions) * @param dag the dagification threshold to use (0 == off) * @param language the language in which to output */ - void toStream(std::ostream& out, int toDepth = -1, bool types = false, size_t dag = 1, + void toStream(std::ostream& out, + int toDepth = -1, + size_t dag = 1, OutputLanguage language = language::output::LANG_AUTO) const; /** |