From c629163aa1a3314ed716fb4eeecb2e55b94174a7 Mon Sep 17 00:00:00 2001
From: Leni Aniva <v@leni.sh>
Date: Mon, 8 Apr 2024 10:32:13 -0700
Subject: [PATCH] perf: Lazy run print monads

---
 Pantograph/Serial.lean | 14 ++++++--------
 1 file changed, 6 insertions(+), 8 deletions(-)

diff --git a/Pantograph/Serial.lean b/Pantograph/Serial.lean
index 8bb61df..14960bb 100644
--- a/Pantograph/Serial.lean
+++ b/Pantograph/Serial.lean
@@ -160,14 +160,12 @@ partial def serialize_expression_ast (expr: Expr) (sanitize: Bool := true): Meta
   of_name (name: Name) := name_to_ast name sanitize
 
 def serialize_expression (options: @&Protocol.Options) (e: Expr): MetaM Protocol.Expression := do
-  let pp := toString (← Meta.ppExpr e)
-  let pp?: Option String := match options.printExprPretty with
-    | true => .some pp
-    | false => .none
-  let sexp: String ← serialize_expression_ast e
-  let sexp?: Option String := match options.printExprAST with
-    | true => .some sexp
-    | false => .none
+  let pp?: Option String ← match options.printExprPretty with
+    | true => pure $ .some $ toString $ ← Meta.ppExpr e
+    | false => pure $ .none
+  let sexp?: Option String ← match options.printExprAST with
+    | true => pure $ .some $ ← serialize_expression_ast e
+    | false => pure $ .none
   return {
     pp?,
     sexp?
-- 
2.44.1