Mercurial > feed

comparison src/ur/feed.ur @ 7:05a28a77f6fe

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
'show' instance for 'document'
author Adam Chlipala <adam@chlipala.net>
date Thu, 10 Mar 2011 18:36:50 -0500
parents e0bae488825c
children f19beef42ceb
comparison
equal deleted inserted replaced
6:e0bae488825c 7:05a28a77f6fe
192 case child.Finished cstate of 192 case child.Finished cstate of
193 None => None 193 None => None
194 | Some (cdata, _) => Some ((pdata, cdata), True)} 194 | Some (cdata, _) => Some ((pdata, cdata), True)}
195 195
196 type document = string 196 type document = string
197 val show_document = _
197 198
198 val fetch = FeedFfi.fetch 199 val fetch = FeedFfi.fetch
199 200
200 fun app [internal ::: Type] [data ::: Type] (p : pattern internal data) (f : data -> transaction {}) (doc : document) : transaction {} = 201 fun app [internal ::: Type] [data ::: Type] (p : pattern internal data) (f : data -> transaction {}) (doc : document) : transaction {} =
201 let 202 let