Mercurial > urweb

comparison src/search.sml @ 11:e97c6d335869

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Simple elaboration working
author Adam Chlipala <adamc@hcoop.net>
date Fri, 28 Mar 2008 15:20:46 -0400
parents 38bf996e1c2e
children
comparison
equal deleted inserted replaced
10:dde5c52e5e5e 11:e97c6d335869
35 'data * 'state -> ('data * 'state, 'abort) result 35 'data * 'state -> ('data * 'state, 'abort) result
36 36
37 type ('data, 'state, 'abort) mapfolder = 37 type ('data, 'state, 'abort) mapfolder =
38 'data -> 'state -> ('data * 'state, 'abort) result 38 'data -> 'state -> ('data * 'state, 'abort) result
39 39
40 type ('context, 'data, 'state, 'abort) mapfolderB =
41 'context -> 'data -> 'state -> ('data * 'state, 'abort) result
42
40 fun return2 v acc = Continue (v, acc) 43 fun return2 v acc = Continue (v, acc)
41 44
42 fun map (r, f) = 45 fun map (r, f) =
43 case r of 46 case r of
44 Continue acc => Continue (f acc) 47 Continue acc => Continue (f acc)