Mercurial > urweb

diff lib/ur/basis.urs @ 1119:951fced704d6

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Basis.textBlob; support HTTP requests with no headers
author Adam Chlipala <adamc@hcoop.net>
date Tue, 05 Jan 2010 15:53:35 -0500
parents 72670131dace
children 74f2eb3b0606
line wrap: on
line diff
--- a/lib/ur/basis.urs	Tue Jan 05 14:57:35 2010 -0500
+++ b/lib/ur/basis.urs	Tue Jan 05 15:53:35 2010 -0500
@@ -704,6 +704,7 @@
 val checkMime : string -> option mimeType
 val returnBlob : t ::: Type -> blob -> mimeType -> transaction t
 val blobSize : blob -> int
+val textBlob : string -> blob
 
 con radio = [Body, Radio]
 val radio : formTag string radio [Id = string]