Reduce: add reduction in some spots previously missed, associated with 'case' return types

1 files changed, 2 insertions, 2 deletions

diff --git a/src/reduce.sml b/src/reduce.sml
index 8691b93a..0762a4a1 100644
--- a/src/reduce.sml
+++ b/src/reduce.sml
@@ -588,7 +588,7 @@ fun kindConAndExp (namedC, namedE) =
                                                                (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 @@ fun kindConAndExp (namedC, namedE) =
                                                         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