From 80f6280f9d31faaa780747738d7d5a7c2e702aad Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Sun, 19 Jan 2014 13:51:26 -0500
Subject: Fix a soundness bug in purity analysis (mono_reduce)

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

(limited to 'src/mono_reduce.sml')

diff --git a/src/mono_reduce.sml b/src/mono_reduce.sml
index e96a0e8f..39894aa5 100644
--- a/src/mono_reduce.sml
+++ b/src/mono_reduce.sml
@@ -65,6 +65,7 @@ fun simpleImpure (tsyms, syms) =
                                 in
                                     simpleTypeImpure tsyms t
                                 end
+                              | EApp _ => true
                               | _ => false,
                    bind = fn (env, b) =>
                              case b of
-- 
cgit v1.2.3