Mercurial > urweb
comparison src/search.sml @ 11:e97c6d335869
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) |