From b2dc3a9199369af04cf3ee9db0d1ebb5576a594b Mon Sep 17 00:00:00 2001
From: Benjamin Barenblat <bbaren@mit.edu>
Date: Tue, 30 Apr 2013 13:38:02 -0400
Subject: Forum: Rename “asker” to “author”
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 forum/author.urs | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)
 create mode 100644 forum/author.urs

(limited to 'forum/author.urs')

diff --git a/forum/author.urs b/forum/author.urs
new file mode 100644
index 0000000..619aced
--- /dev/null
+++ b/forum/author.urs
@@ -0,0 +1,17 @@
+type author
+
+val anonymous : author
+val namedAuthor : string -> author
+
+
+(********************************* Instances *********************************)
+
+val eq_author : eq author
+
+val show_author : show author
+
+(* 'read' producing an 'author' is guaranteed to never fail, so you can use
+'readError' with impunity. *)
+val read_author : read author
+
+val sql_author : sql_injectable author
-- 
cgit v1.2.3