diff options
author | Adam Chlipala <adam@chlipala.net> | 2015-07-03 17:25:56 -0400 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2015-07-03 17:25:56 -0400 |
commit | fabac72992d397942fd5712d49733424ccb9de56 (patch) | |
tree | 357221ebdc5d7943df15c57fc206e893865963d9 /src | |
parent | 085eb5df98b7a95356a712c4eaaefc568cdfe296 (diff) |
Fix a maddening bug in the comparator for Core constructors
Diffstat (limited to 'src')
-rw-r--r-- | src/core_util.sml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/core_util.sml b/src/core_util.sml index 152ba7ac..d098039a 100644 --- a/src/core_util.sml +++ b/src/core_util.sml @@ -203,7 +203,7 @@ fun compare ((c1, _), (c2, _)) = | (_, 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 |