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 | ee6df0a47c7fbb6cef6679fec9e2abb19fa22c2d (patch) | |
| tree | 357221ebdc5d7943df15c57fc206e893865963d9 /src/core_util.sml | |
| parent | 5c750dcbde7818d043047c55e1248a68fac4214e (diff) | |
Fix a maddening bug in the comparator for Core constructors
Diffstat (limited to 'src/core_util.sml')
| -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 |