1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
|
(* Forum -- forum subapp
Copyright (C) 2013 Benjamin Barenblat <bbaren@mit.edu>
This file is a part of 6.947.
6.947 is is free software: you can redistribute it and/or modify it under the
terms of the GNU Affero General Public License as published by the Free
Software Foundation, either version 3 of the License, or (at your option) any
later version.
6.947 is distributed in the hope that it will be useful, but WITHOUT ANY
WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A
PARTICULAR PURPOSE. See the GNU Affero General Public License for more
details.
You should have received a copy of the GNU Affero General Public License along
with 6.947. If not, see <http://www.gnu.org/licenses/>. *)
functor Make(Template : sig
val generic : option string -> xbody -> page
end) = struct
open Styles
open Asker
style questionList
style questionMetadata
style questionEntryTitle
style questionEntryBody
table question : { Id : int,
Title : string,
Body : string,
Asker : asker
} PRIMARY KEY Id
sequence questionIdS
(* Grabs real name out of MIT certificate. *)
val getName : transaction (option string) =
getenv (blessEnvVar "SSL_CLIENT_S_DN_CN")
fun prettyPrintQuestion row : xbody =
<xml>
<li>
<h3>{[row.Question.Title]}</h3>
{[row.Question.Body]}
<span class={questionMetadata}>Asked by {[row.Question.Asker]}</span>
</li>
</xml>
val allQuestions : transaction page =
questionsList <- queryX (SELECT * FROM question
ORDER BY Question.Id DESC)
prettyPrintQuestion;
return (
Template.generic (Some "Forum – All questions") <xml>
<div class={content}>
<h2>All questions</h2>
<ul class={questionList}>
{questionsList}
</ul>
</div>
</xml>
)
fun main () : transaction page =
newestQuestions <- queryX (SELECT * FROM question
ORDER BY Question.Id DESC
LIMIT 5)
prettyPrintQuestion;
askerOpt <- getName;
return (
Template.generic (Some "Forum") <xml>
<div class={content}>
<h2>Latest questions</h2>
<ul class={questionList}>
{newestQuestions}
</ul>
<a link={allQuestions}>View all questions</a>
<h2>Ask a new question</h2>
<form>
<textbox {#Title} placeholder="Title" class={questionEntryTitle} /><br />
<textarea {#Body} class={questionEntryBody} /><br />
Asking as:
<select {#Asker}>
{case askerOpt of
None => <xml/>
| Some nam => <xml><option>{[nam]}</option></xml>}
<option>Anonymous</option>
</select>
<submit action={ask} value="Ask" />
</form>
</div>
</xml>
)
and ask submission =
id <- nextval questionIdS;
dml (INSERT INTO question (Id, Title, Body, Asker)
VALUES ({[id]}, {[submission.Title]}, {[submission.Body]}, {[readError submission.Asker]}));
main ()
end
|