From 142f82f987b098309d4df2c922fa6ba455598fbe Mon Sep 17 00:00:00 2001
From: Sebastien Bourdeauducq <sb@m-labs.hk>
Date: Wed, 1 Dec 2021 22:48:06 +0800
Subject: [PATCH] remove debug prints

---
 nac3artiq/src/symbol_resolver.rs         | 1 -
 nac3core/src/typecheck/function_check.rs | 1 -
 nac3core/src/typecheck/typedef/mod.rs    | 1 -
 3 files changed, 3 deletions(-)

diff --git a/nac3artiq/src/symbol_resolver.rs b/nac3artiq/src/symbol_resolver.rs
index f36c146f..92baa592 100644
--- a/nac3artiq/src/symbol_resolver.rs
+++ b/nac3artiq/src/symbol_resolver.rs
@@ -195,7 +195,6 @@ impl InnerResolver {
                                     if let TypeEnum::TVar { id, .. } = &*unifier.get_ty(*x) {
                                         (*id, *x)
                                     } else {
-                                        println!("{}", unifier.default_stringify(*x));
                                         unreachable!()
                                     }
                                 }).collect()
diff --git a/nac3core/src/typecheck/function_check.rs b/nac3core/src/typecheck/function_check.rs
index 8b432393..65c810e0 100644
--- a/nac3core/src/typecheck/function_check.rs
+++ b/nac3core/src/typecheck/function_check.rs
@@ -167,7 +167,6 @@ impl<'a> Inferencer<'a> {
             }
             ExprKind::Constant { .. } => {}
             _ => {
-                println!("{:?}", expr.node);
                 unimplemented!()
             }
         }
diff --git a/nac3core/src/typecheck/typedef/mod.rs b/nac3core/src/typecheck/typedef/mod.rs
index 0d194b26..8eb62767 100644
--- a/nac3core/src/typecheck/typedef/mod.rs
+++ b/nac3core/src/typecheck/typedef/mod.rs
@@ -855,7 +855,6 @@ impl Unifier {
                 }
             }
             _ => {
-                println!("{}", ty.get_type_name());
                 unreachable!("{} not expected", ty.get_type_name())
             }
         }