# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1435958756 14400
# Node ID b90103106177a405f6580ac6561c764a92806de8
# Parent  9c8016d999693072a7ed7be6e1e781d99d47eb42
Fix a maddening bug in the comparator for Core constructors

diff -r 9c8016d99969 -r b90103106177 src/core_util.sml
--- a/src/core_util.sml	Thu Jul 02 13:02:37 2015 -0400
+++ b/src/core_util.sml	Fri Jul 03 17:25:56 2015 -0400
@@ -203,7 +203,7 @@
       | (_, CConcat _) => GREATER
 
       | (CMap (d1, r1), CMap (d2, r2)) =>
-        join (Kind.compare (d1, r2),
+        join (Kind.compare (d1, d2),
               fn () => Kind.compare (r1, r2))
       | (CMap _, _) => LESS
       | (_, CMap _) => GREATER