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/options | |
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/options')
-rw-r--r-- | src/options/expr_options.toml | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/src/options/expr_options.toml b/src/options/expr_options.toml index 037d46169..368fb34e4 100644 --- a/src/options/expr_options.toml +++ b/src/options/expr_options.toml @@ -24,15 +24,6 @@ header = "options/expr_options.h" help = "dagify common subexprs appearing > N times (1 == default, 0 == don't dagify)" [[option]] - name = "printExprTypes" - category = "regular" - long = "print-expr-types" - type = "bool" - default = "false" - read_only = true - help = "print types with variables when printing exprs" - -[[option]] name = "typeChecking" category = "regular" long = "type-checking" |