Mercurial > urweb

comparison src/search.sig @ 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
29 29
30 datatype ('state, 'abort) result = 30 datatype ('state, 'abort) result =
31 Return of 'abort 31 Return of 'abort
32 | Continue of 'state 32 | Continue of 'state
33 33
34 type ('data, 'state, 'abort) mapfold_arg =
35 'data * 'state -> ('data * 'state, 'abort) result
36
37 type ('data, 'state, 'abort) mapfolder = 34 type ('data, 'state, 'abort) mapfolder =
38 'data -> 'state -> ('data * 'state, 'abort) result 35 'data -> 'state -> ('data * 'state, 'abort) result
39 36
40 val return2 : 'state1 -> 'state2 -> ('state1 * 'state2, 'abort) result 37 val return2 : 'state1 -> 'state2 -> ('state1 * 'state2, 'abort) result
41 38
50 val bind : ('state1, 'abort) result 47 val bind : ('state1, 'abort) result
51 * ('state1 -> ('state2, 'abort) result) 48 * ('state1 -> ('state2, 'abort) result)
52 -> ('state2, 'abort) result 49 -> ('state2, 'abort) result
53 50
54 val bind2 : ('state2 -> ('state1 * 'state2, 'abort) result) 51 val bind2 : ('state2 -> ('state1 * 'state2, 'abort) result)
55 * ('state1 -> 'state2 -> ('state1 * 'state2, 'abort) result) 52 * ('state1 -> 'state2 -> ('state1' * 'state2, 'abort) result)
56 -> ('state2 -> ('state1 * 'state2, 'abort) result) 53 -> ('state2 -> ('state1' * 'state2, 'abort) result)
57 54
58 val bindP : (('state11 * 'state12) * 'state2, 'abort) result 55 val bindP : (('state11 * 'state12) * 'state2, 'abort) result
59 * ('state11 * 'state2 -> ('state11 * 'state2, 'abort) result) 56 * ('state11 -> 'state2 -> ('state11 * 'state2, 'abort) result)
60 -> (('state11 * 'state12) * 'state2, 'abort) result 57 -> (('state11 * 'state12) * 'state2, 'abort) result
61 58
62 end 59 end