Mercurial > urweb

diff src/core_util.sml @ 2158:b90103106177

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fix a maddening bug in the comparator for Core constructors
author Adam Chlipala <adam@chlipala.net>
date Fri, 03 Jul 2015 17:25:56 -0400
parents e15234fbb163
children af3f5b58aed2
line wrap: on
line diff
--- 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