From aa41b76cee5d7b071244956496c61c51d98b6379 Mon Sep 17 00:00:00 2001
From: Taine Zhao <thaut@logic.cs.tsukuba.ac.jp>
Date: Thu, 30 Jul 2020 19:32:22 +0900
Subject: [PATCH] avoid extension methods for PrettyPrint.jl

---
 src/Pretty.jl | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/src/Pretty.jl b/src/Pretty.jl
index cd3232e..71d97f7 100644
--- a/src/Pretty.jl
+++ b/src/Pretty.jl
@@ -1,7 +1,5 @@
-function PrettyPrint.pp_impl(io, v::LocalVar, indent)
-    repr = "LocalVar($(v.sym), is_mutable=$(v.is_mutable.x), is_shared=$(v.is_shared.x))"
-    print(io, repr)
-    length(repr) + indent
+Base.show(io::IO, v::LocalVar) = begin
+    print(io, "LocalVar($(v.sym), is_mutable=$(v.is_mutable.x), is_shared=$(v.is_shared.x))")
 end
 
 Base.show(io::IO, scope :: Scope) = pprint(io, scope)