Mercurial > urweb
comparison src/core_util.sml @ 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 | e15234fbb163 |
children | af3f5b58aed2 |
comparison
equal
deleted
inserted
replaced
2157:9c8016d99969 | 2158:b90103106177 |
---|---|
201 fn () => compare (s1, s2)) | 201 fn () => compare (s1, s2)) |
202 | (CConcat _, _) => LESS | 202 | (CConcat _, _) => LESS |
203 | (_, CConcat _) => GREATER | 203 | (_, CConcat _) => GREATER |
204 | 204 |
205 | (CMap (d1, r1), CMap (d2, r2)) => | 205 | (CMap (d1, r1), CMap (d2, r2)) => |
206 join (Kind.compare (d1, r2), | 206 join (Kind.compare (d1, d2), |
207 fn () => Kind.compare (r1, r2)) | 207 fn () => Kind.compare (r1, r2)) |
208 | (CMap _, _) => LESS | 208 | (CMap _, _) => LESS |
209 | (_, CMap _) => GREATER | 209 | (_, CMap _) => GREATER |
210 | 210 |
211 | (CUnit, CUnit) => EQUAL | 211 | (CUnit, CUnit) => EQUAL |