diff options
author | Adam Chlipala <adam@chlipala.net> | 2019-10-13 14:50:16 -0400 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2019-10-13 14:50:16 -0400 |
commit | 404429ca9197a508efc1be5425d6fc4a00a5eae9 (patch) | |
tree | 88cfeb8b5334e0cb9bf9a7b991eeb741dfc9e9ee /src | |
parent | b71c7b9ec4580326772a212fbe011322ae1ac063 (diff) |
Undo a questionable optimization, almost 10 years later (closes #179)
Diffstat (limited to 'src')
-rw-r--r-- | src/mono_reduce.sml | 3 |
1 files changed, 1 insertions, 2 deletions
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 |