# HG changeset patch
# User Karn Kallio <kkallio@eka>
# Date 1309994663 16200
# Node ID 4437b008e0ab7b96ffe3a3a5ffdf5bbea6b4a4c2
# Parent  e2611b5dafcedf2f2e6efd6f361320f15de6abb0
Narrow Maybe match case.

diff -r e2611b5dafce -r 4437b008e0ab src/mono_reduce.sml
--- a/src/mono_reduce.sml	Wed Jul 06 09:22:08 2011 -0400
+++ b/src/mono_reduce.sml	Wed Jul 06 18:54:23 2011 -0430
@@ -204,15 +204,12 @@
         else
             No
 
-      | (PCon (_, PConVar n1, NONE), ECon (_, PConVar n2, NONE)) =>
+      | (PCon (_, PConVar n1, po), ECon (_, PConVar n2, eo)) =>
         if n1 = n2 then
-            Yes env
-        else
-            No
-
-      | (PCon (_, PConVar n1, SOME p), ECon (_, PConVar n2, SOME e)) =>
-        if n1 = n2 then
-            match (env, p, e)
+            case (po, eo) of
+                (NONE, NONE) => Yes env
+              | (SOME p, SOME e) => match (env, p, e)
+              | _ => Maybe
         else
             No