# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1299800210 18000
# Node ID 05a28a77f6feb3a05ce09139d6663338b8a58d60
# Parent  e0bae488825c83d66c335283f2d239aac5d9a167
'show' instance for 'document'

diff -r e0bae488825c -r 05a28a77f6fe src/ur/feed.ur
--- 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
 
diff -r e0bae488825c -r 05a28a77f6fe src/ur/feed.urs
--- 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 {}