diff options
author | Adam Chlipala <adamc@hcoop.net> | 2008-12-30 10:49:42 -0500 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2008-12-30 10:49:42 -0500 |
commit | 493ec594ea29706c85196d1b616ab28ed3da6797 (patch) | |
tree | 5fb21e9104e07f932bbb5571766def02f7ab0813 /src/mono_util.sml | |
parent | 4a3a2b6a133f11287b5fadd026add01eed51e2b8 (diff) |
Setting a source server-side
Diffstat (limited to 'src/mono_util.sml')
-rw-r--r-- | src/mono_util.sml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/mono_util.sml b/src/mono_util.sml index b14e3ac9..3f9183d0 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) + | (TSource, TSource) => EQUAL | (TSignal t1, TSignal t2) => compare (t1, t2) | (TFun _, _) => LESS @@ -68,6 +69,9 @@ fun compare ((t1, _), (t2, _)) = | (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 @@ fun mapfold fc = S.map2 (mft t, fn t' => (TOption t, loc)) + | TSource => S.return2 cAll | TSignal t => S.map2 (mft t, fn t' => |