diff demo/more/conference1.ur @ 1011:16f7cb0891b6

Initial support for char in SQL
author Adam Chlipala <adamc@hcoop.net>
date Thu, 22 Oct 2009 16:15:56 -0400
parents 59097824f19b
children 9304474170ed
line wrap: on
line diff
--- a/demo/more/conference1.ur	Thu Oct 22 14:05:48 2009 -0400
+++ b/demo/more/conference1.ur	Thu Oct 22 16:15:56 2009 -0400
@@ -3,7 +3,7 @@
 open Conference.Make(struct
                          val paper = {Title = title,
                                       Abstract = abstract}
-                         val review = {}
+                         val review = {Rating = dropdown "Rating" (#"A" :: #"B" :: #"C" :: #"D" :: [])}
 
                          val submissionDeadline = readError "2009-10-22 23:59:59"