From 404429ca9197a508efc1be5425d6fc4a00a5eae9 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Sun, 13 Oct 2019 14:50:16 -0400
Subject: Undo a questionable optimization, almost 10 years later (closes #179)

---
 src/mono_reduce.sml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'src')

diff --git a/src/mono_reduce.sml b/src/mono_reduce.sml
index 5bcb6f57..c3c9da98 100644
--- a/src/mono_reduce.sml
+++ b/src/mono_reduce.sml
@@ -597,8 +597,7 @@ fun reduce' (file : file) =
                             ((*Print.prefaces "trySub"
                                             [("e", MonoPrint.p_exp env (e, ErrorMsg.dummySpan))];*)
                              case t of
-                                 (TFfi ("Basis", "string"), _) => doSub ()
-                               | (TSignal _, _) => e
+                                 (TSignal _, _) => e
                                | _ =>
                                  case e' of
                                      (ECase _, _) => e
-- 
cgit v1.2.3