Mercurial > feed
changeset 7:05a28a77f6fe
'show' instance for 'document'
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Thu, 10 Mar 2011 18:36:50 -0500 |
parents | e0bae488825c |
children | a4e5d053daed |
files | src/ur/feed.ur src/ur/feed.urs |
diffstat | 2 files changed, 2 insertions(+), 0 deletions(-) [+] |
line wrap: on
line diff
--- a/src/ur/feed.ur Sat Jan 15 15:25:22 2011 -0500 +++ b/src/ur/feed.ur Thu Mar 10 18:36:50 2011 -0500 @@ -194,6 +194,7 @@ | Some (cdata, _) => Some ((pdata, cdata), True)} type document = string +val show_document = _ val fetch = FeedFfi.fetch
--- a/src/ur/feed.urs Sat Jan 15 15:25:22 2011 -0500 +++ b/src/ur/feed.urs Thu Mar 10 18:36:50 2011 -0500 @@ -30,6 +30,7 @@ -> pattern (treeInternal parentI childI) (parent * child) type document +val show_document : show document val fetch : string (* url *) -> transaction document val app : internal ::: Type -> data ::: Type -> pattern internal data -> (data -> transaction {}) -> document -> transaction {}