changeset 1962:16c219c74426

Fix a soundness bug in purity analysis (mono_reduce)
author Adam Chlipala <adam@chlipala.net>
date Sun, 19 Jan 2014 13:51:26 -0500
parents 0652f295e0fa
children fec7beec96c7
files src/mono_reduce.sml
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/src/mono_reduce.sml	Sun Jan 19 13:08:01 2014 -0500
+++ b/src/mono_reduce.sml	Sun Jan 19 13:51:26 2014 -0500
@@ -65,6 +65,7 @@
                                 in
                                     simpleTypeImpure tsyms t
                                 end
+                              | EApp _ => true
                               | _ => false,
                    bind = fn (env, b) =>
                              case b of