diff src/mono_util.sml @ 577:3d56940120b1

Setting a source server-side
author Adam Chlipala <adamc@hcoop.net>
date Tue, 30 Dec 2008 10:49:42 -0500
parents ac947e2f29ff
children 1e589a60b86f
line wrap: on
line diff
--- a/src/mono_util.sml	Tue Dec 30 09:43:45 2008 -0500
+++ b/src/mono_util.sml	Tue Dec 30 10:49:42 2008 -0500
@@ -51,6 +51,7 @@
       | (TDatatype (n1, _), TDatatype (n2, _)) => Int.compare (n1, n2)
       | (TFfi (m1, x1), TFfi (m2, x2)) => join (String.compare (m1, m2), fn () => String.compare (x1, x2))
       | (TOption t1, TOption t2) => compare (t1, t2)
+      | (TSource, TSource) => EQUAL
       | (TSignal t1, TSignal t2) => compare (t1, t2)
 
       | (TFun _, _) => LESS
@@ -68,6 +69,9 @@
       | (TOption _, _) => LESS
       | (_, TOption _) => GREATER
 
+      | (TSource, _) => LESS
+      | (_, TSource) => GREATER
+
 and compareFields ((x1, t1), (x2, t2)) =
     join (String.compare (x1, x2),
           fn () => compare (t1, t2))
@@ -100,6 +104,7 @@
                 S.map2 (mft t,
                         fn t' =>
                            (TOption t, loc))
+              | TSource => S.return2 cAll
               | TSignal t =>
                 S.map2 (mft t,
                         fn t' =>