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

'show' instance for 'document'
author Adam Chlipala <adam@chlipala.net>
date Thu, 10 Mar 2011 18:36:50 -0500
parents e0bae488825c
children f19beef42ceb
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