Mercurial > urweb

diff src/cjrize.sml @ 905:7a4b026e45dd

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Library improvements; proper list [un]urlification; remove server-side ServerCalls; eta reduction in type inference
author Adam Chlipala <adamc@hcoop.net>
date Sun, 09 Aug 2009 16:13:27 -0400
parents 493f44759879
children 10114d7b7477
line wrap: on
line diff
--- a/src/cjrize.sml	Thu Aug 06 15:23:04 2009 -0400
+++ b/src/cjrize.sml	Sun Aug 09 16:13:27 2009 -0400
@@ -112,6 +112,7 @@
                 end
               | L.TRecord xts =>
                 let
+                    val xts = ListMergeSort.sort (fn ((x, _), (y, _)) => String.compare (x, y) = GREATER) xts
                     val old_xts = xts
                     val (xts, sm) = ListUtil.foldlMap (fn ((x, t), sm) =>
                                                           let