changeset 2158:b90103106177

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 9c8016d99969
children 9029e0e2c67c
files src/core_util.sml
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
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