Mercurial > urweb

diff src/disjoint.sml @ 83:0a1baddd8ab2

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Threading disjointness conditions through Elaborate
author Adam Chlipala <adamc@hcoop.net>
date Tue, 01 Jul 2008 11:39:14 -0400
parents b4f2a258e52c
children e86370850c30
line wrap: on
line diff
--- a/src/disjoint.sml	Tue Jul 01 10:55:38 2008 -0400
+++ b/src/disjoint.sml	Tue Jul 01 11:39:14 2008 -0400
@@ -277,10 +277,7 @@
         val hasUnknown = List.exists (fn p => p = Unknown)
     in
         if hasUnknown ps1 orelse hasUnknown ps2 then
-            (ErrorMsg.errorAt loc "Structure of row is too complicated to prove disjointness";
-             Print.eprefaces' [("Row 1", ElabPrint.p_con env c1),
-                               ("Row 2", ElabPrint.p_con env c2)];
-             [])
+            [(c1, c2)]
         else
             foldl (fn (p1, rem) =>
                       foldl (fn (p2, rem) =>