From 7a3ba5558cb363006aae188e02dd57dda833d356 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 30 Apr 2009 11:07:29 -0400
Subject: Basis.list

---
 src/mono_util.sml | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'src/mono_util.sml')

diff --git a/src/mono_util.sml b/src/mono_util.sml
index caf96ac7..ca074d9e 100644
--- a/src/mono_util.sml
+++ b/src/mono_util.sml
@@ -51,6 +51,7 @@ fun compare ((t1, _), (t2, _)) =
       | (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)
+      | (TList t1, TList t2) => compare (t1, t2)
       | (TSource, TSource) => EQUAL
       | (TSignal t1, TSignal t2) => compare (t1, t2)
 
@@ -69,6 +70,9 @@ fun compare ((t1, _), (t2, _)) =
       | (TOption _, _) => LESS
       | (_, TOption _) => GREATER
 
+      | (TList _, _) => LESS
+      | (_, TList _) => GREATER
+
       | (TSource, _) => LESS
       | (_, TSource) => GREATER
 
@@ -104,6 +108,10 @@ fun mapfold fc =
                 S.map2 (mft t,
                         fn t' =>
                            (TOption t, loc))
+              | TList t =>
+                S.map2 (mft t,
+                        fn t' =>
+                           (TList t, loc))
               | TSource => S.return2 cAll
               | TSignal t =>
                 S.map2 (mft t,
-- 
cgit v1.2.3