Mercurial > urweb

diff demo/more/conference1.ur @ 1022:4de35df3d545

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Start of bidding implementation compiles
author Adam Chlipala <adamc@hcoop.net>
date Sat, 31 Oct 2009 15:51:50 -0400
parents 9304474170ed
children e46227efcbba
line wrap: on
line diff
--- a/demo/more/conference1.ur	Sun Oct 25 15:29:21 2009 -0400
+++ b/demo/more/conference1.ur	Sat Oct 31 15:51:50 2009 -0400
@@ -8,4 +8,8 @@
                          val submissionDeadline = readError "2009-11-22 23:59:59"
 
                          fun summarizePaper r = cdata r.Title
+
+                         functor Make (M : Conference.INPUT where con paper = _) = struct
+                             open Bid.Make(M)
+                         end
                      end)