diff options
author | Adam Chlipala <adam@chlipala.net> | 2010-12-20 19:28:41 -0500 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2010-12-20 19:28:41 -0500 |
commit | 0ecaa53f8c3951d695a4379dd1b353863749963a (patch) | |
tree | ebf76ca34c81803bf8385e4fae1e61bc5bf300d2 /demo/more/conference1.ur | |
parent | 75557c308d78c533a5576f5223e7a67952761fb1 (diff) |
Fix manual mistake about '@' notations; remove obsolete demos
Diffstat (limited to 'demo/more/conference1.ur')
-rw-r--r-- | demo/more/conference1.ur | 33 |
1 files changed, 0 insertions, 33 deletions
diff --git a/demo/more/conference1.ur b/demo/more/conference1.ur deleted file mode 100644 index 646ba489..00000000 --- a/demo/more/conference1.ur +++ /dev/null @@ -1,33 +0,0 @@ -open ConferenceFields - -open Conference.Make(struct - val paper = {Title = title, - Abstract = abstract} - val paperPrivate = {Decision = Decision.decision} - val review = {Rating = dropdown "Rating" (#"A" :: #"B" :: #"C" :: #"D" :: []), - CommentsForAuthors = commentsForAuthors} - - val submissionDeadline = readError "2009-11-22 23:59:59" - - fun summarizePaper [ctx] [[Body] ~ ctx] r = txt r.Title - functor Make (M : Conference.INPUT where con paper = _ - where con review = _) = struct - open M - - fun status [ctx] [[Body] ~ ctx] r = - queryX (SELECT review.Rating - FROM review - WHERE review.Paper = {[r.Id]}) - (fn r => <xml>{[r.Review.Rating]}; </xml>) - - open Conference.Join(struct - structure O1 = Bid.Make(M) - structure O2 = Decision.Make(struct - con paperOther = _ - open M - - val status = @@status - end) - end) - end - end) |