From 9f1c85cf0ef4be94bf189dea486806298f09ab51 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 9 Aug 2009 16:13:27 -0400
Subject: Library improvements; proper list [un]urlification; remove
 server-side ServerCalls; eta reduction in type inference

---
 src/cjrize.sml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/cjrize.sml')

diff --git a/src/cjrize.sml b/src/cjrize.sml
index 5f3ea5a8..6a79b4e6 100644
--- a/src/cjrize.sml
+++ b/src/cjrize.sml
@@ -112,6 +112,7 @@ fun cifyTyp x =
                 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
-- 
cgit v1.2.3