Mercurial > urweb
diff 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 |
line wrap: on
line diff
--- a/src/search.sml Fri Mar 28 13:59:03 2008 -0400 +++ b/src/search.sml Fri Mar 28 15:20:46 2008 -0400 @@ -37,6 +37,9 @@ type ('data, 'state, 'abort) mapfolder = 'data -> 'state -> ('data * 'state, 'abort) result +type ('context, 'data, 'state, 'abort) mapfolderB = + 'context -> 'data -> 'state -> ('data * 'state, 'abort) result + fun return2 v acc = Continue (v, acc) fun map (r, f) =