Mercurial > urweb

comparison src/order.sml @ 479:ffa18975e661

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Broaden set of possible especializations
author Adam Chlipala <adamc@hcoop.net>
date Sat, 08 Nov 2008 14:42:52 -0500
parents 8a70e2919e86
children
comparison
equal deleted inserted replaced
478:6ee1c761818f 479:ffa18975e661
40 | (nil, _) => LESS 40 | (nil, _) => LESS
41 | (h1 :: t1, h2 :: t2) => 41 | (h1 :: t1, h2 :: t2) =>
42 join (f (h1, h2), fn () => joinL f (t1, t2)) 42 join (f (h1, h2), fn () => joinL f (t1, t2))
43 | (_ :: _, nil) => GREATER 43 | (_ :: _, nil) => GREATER
44 44
45 fun joinO f (v1, v2) =
46 case (v1, v2) of
47 (NONE, NONE) => EQUAL
48 | (NONE, _) => LESS
49 | (_, NONE) => GREATER
50
51 | (SOME v1, SOME v2) => f (v1, v2)
52
45 end 53 end