Mercurial > urweb

comparison demo/more/conference.urs @ 1025:7facf72aaf0a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Initial form for paper assignment
author Adam Chlipala <adamc@hcoop.net>
date Sun, 01 Nov 2009 14:26:20 -0500
parents e46227efcbba
children be1aec7333a5
comparison
equal deleted inserted replaced
1024:93415bcf54c0 1025:7facf72aaf0a
10 10
11 type paperId 11 type paperId
12 val paperId_inj : sql_injectable_prim paperId 12 val paperId_inj : sql_injectable_prim paperId
13 val paperId_show : show paperId 13 val paperId_show : show paperId
14 val paperId_read : read paperId 14 val paperId_read : read paperId
15 val paperId_eq : eq paperId
15 table paper : ([Id = paperId, Document = blob] ++ paper) 16 table paper : ([Id = paperId, Document = blob] ++ paper)
16 PRIMARY KEY Id 17 PRIMARY KEY Id
17 18
18 val checkLogin : transaction (option {Id : userId, Nam : string, Chair : bool, OnPc : bool}) 19 val checkLogin : transaction (option {Id : userId, Nam : string, Chair : bool, OnPc : bool})
19 val getLogin : transaction {Id : userId, Nam : string, Chair : bool, OnPc : bool} 20 val getLogin : transaction {Id : userId, Nam : string, Chair : bool, OnPc : bool}
20 val getPcLogin : transaction {Id : userId, Nam : string, Chair : bool} 21 val getPcLogin : transaction {Id : userId, Nam : string, Chair : bool}
22 val checkChair : transaction unit
21 val summarizePaper : ctx ::: {Unit} -> [[Body] ~ ctx] => $paper -> xml ([Body] ++ ctx) [] [] 23 val summarizePaper : ctx ::: {Unit} -> [[Body] ~ ctx] => $paper -> xml ([Body] ++ ctx) [] []
22 end 24 end
23 25
24 signature OUTPUT = sig 26 signature OUTPUT = sig
25 con paper :: {Type} 27 con paper :: {Type}
26 type userId 28 type userId
27 type paperId 29 type paperId
28 30
29 val linksForPc : xbody 31 val linksForPc : xbody
32 val linksForChair : xbody
30 33
31 con yourPaperTables :: {{Type}} 34 con yourPaperTables :: {{Type}}
32 constraint [Paper] ~ yourPaperTables 35 constraint [Paper] ~ yourPaperTables
33 val joinYourPaper : tabs ::: {{Type}} -> paper ::: {Type} 36 val joinYourPaper : tabs ::: {{Type}} -> paper ::: {Type}
34 -> [[Paper] ~ tabs] => [[Paper] ~ yourPaperTables] => [tabs ~ yourPaperTables] => [[Id] ~ paper] => 37 -> [[Paper] ~ tabs] => [[Paper] ~ yourPaperTables] => [tabs ~ yourPaperTables] => [[Id] ~ paper] =>