From 5eaca0d89efad09343897c8a3249fb12323b9878 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Fri, 7 Jun 2019 10:18:23 -0700 Subject: [PATCH] chore(util/sexpr/format): preparing to switch to Lean implementation --- src/util/sexpr/format.h | 14 +------------- 1 file changed, 1 insertion(+), 13 deletions(-) diff --git a/src/util/sexpr/format.h b/src/util/sexpr/format.h index 2ca23f1e61..2a212b5d30 100644 --- a/src/util/sexpr/format.h +++ b/src/util/sexpr/format.h @@ -152,16 +152,12 @@ public: return sexpr_kind(m_value); } bool is_nil_fmt() const { return kind() == format_kind::NIL; } - unsigned hash() const { return m_value.hash(); } friend format compose(format const & f1, format const & f2); friend format nest(int i, format const & f); friend format mk_line(); - friend format group(format const & f); - friend format above(format const & f1, format const & f2); friend format bracket(std::string const & l, format const & x, std::string const & r); - friend format wrap(format const & f1, format const & f2); friend format flatten(format const & f); // x + y = x <> y @@ -171,13 +167,6 @@ public: return *this; } - // x ^ y = x <> " " <> y - friend format operator^(format const & f1, format const & f2); - format & operator^=(format const & f) { - *this = *this ^ f; - return *this; - } - static std::ostream & pretty(std::ostream & out, unsigned w, format const & f); friend std::ostream & pretty(std::ostream & out, unsigned w, format const & f); friend std::ostream & pretty(std::ostream & out, options const & o, format const & f); @@ -186,13 +175,12 @@ public: friend std::ostream & operator<<(std::ostream & out, pair const & p); }; -format wrap(format const & f1, format const & f2); format compose(format const & f1, format const & f2); format nest(int i, format const & f); format line(); format space(); -format group(format const & f); format bracket(std::string const & l, format const & x, std::string const & r); +format group(format const & f); format paren(format const & x); class options;