Mercurial > urweb

annotate src/option_key_fn.sml @ 2278:b7615e0ac4b0

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fix bug in and clean up free path code.
author Ziv Scully <ziv@mit.edu>
date Tue, 10 Nov 2015 12:35:00 -0500
parents e4a7e3cd6f11
children
rev   line source
ziv@2244 1 functor OptionKeyFn(K : ORD_KEY)
ziv@2244 2 : ORD_KEY where type ord_key = K.ord_key option = struct
ziv@2240 3
ziv@2240 4 type ord_key = K.ord_key option
ziv@2240 5
ziv@2240 6 val compare =
ziv@2240 7 fn (NONE, NONE) => EQUAL
ziv@2240 8 | (NONE, _) => LESS
ziv@2240 9 | (_, NONE) => GREATER
ziv@2240 10 | (SOME x, SOME y) => K.compare (x, y)
ziv@2240 11
ziv@2240 12 end