Mercurial > urweb
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 (2015-07-03) |
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