diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-04-30 11:07:29 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-04-30 11:07:29 -0400 |
| commit | 7a3ba5558cb363006aae188e02dd57dda833d356 (patch) | |
| tree | be8dc60f901b2cab9ec630d505bf152d1d19340e /src/mono_util.sml | |
| parent | 0264695e9a76f87e6164c489c34af63fa893889d (diff) | |
Basis.list
Diffstat (limited to 'src/mono_util.sml')
| -rw-r--r-- | src/mono_util.sml | 8 |
1 files changed, 8 insertions, 0 deletions
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, |