# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1448495297 18000
# Node ID 18e6fb487880fde89c537089d0df537cc5f69bc2
# Parent  f6e16c308566f3c02bc49fbde9774ccf04788604
Reduce: add reduction in some spots previously missed, associated with 'case' return types

diff -r f6e16c308566 -r 18e6fb487880 src/reduce.sml
--- a/src/reduce.sml	Sun Nov 22 10:25:22 2015 -0500
+++ b/src/reduce.sml	Wed Nov 25 18:48:17 2015 -0500
@@ -588,7 +588,7 @@
                                                                (p, body')
                                                            end) pes
 
-                                        val cc' = {disc = disc, result = c2}
+                                        val cc' = {disc = con env' disc, result = con env' c2}
                                     in
                                         (ECase (e, pes', cc'), loc)
                                     end
@@ -626,7 +626,7 @@
                                                         end) pes
 
                                         val c' = E.subConInCon (0, c) c'
-                                        val cc' = {disc = disc, result = c'}
+                                        val cc' = {disc = con env disc, result = con env c'}
                                     in
                                         (ECase (e, pes', cc'), loc)
                                     end