Mercurial > urweb

comparison src/search.sml @ 6:38bf996e1c2e

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Check for leftover kind unifs
author Adam Chlipala <adamc@hcoop.net>
date Sat, 26 Jan 2008 16:44:39 -0500
parents 64f09f7822c3
children e97c6d335869
comparison
equal deleted inserted replaced
5:258261a53842 6:38bf996e1c2e
60 | Return x => Return x 60 | Return x => Return x
61 61
62 fun bindP (r, f) = 62 fun bindP (r, f) =
63 case r of 63 case r of
64 Continue ((x, pos), acc) => 64 Continue ((x, pos), acc) =>
65 map (f (x, acc), 65 map (f x acc,
66 fn (x', acc') => 66 fn (x', acc') =>
67 ((x', pos), acc')) 67 ((x', pos), acc'))
68 | Return x => Return x 68 | Return x => Return x
69 69
70 end 70 end