diff lib/ur/basis.urs @ 740:b302b6e35f93

Add MIME type to file
author Adam Chlipala <adamc@hcoop.net>
date Sat, 25 Apr 2009 14:47:16 -0400
parents 4bb7e1c0550a
children f7e2026dd5ae
line wrap: on
line diff
--- a/lib/ur/basis.urs	Sat Apr 25 14:35:49 2009 -0400
+++ b/lib/ur/basis.urs	Sat Apr 25 14:47:16 2009 -0400
@@ -516,6 +516,7 @@
 
 type file
 val fileName : file -> option string
+val fileMimeType : file -> string
 val fileData : file -> blob
 
 val upload : formTag file [] [Value = string, Size = int]