diff options
author | Benjamin Barenblat <bbaren@mit.edu> | 2013-04-21 15:58:34 -0400 |
---|---|---|
committer | Benjamin Barenblat <bbaren@mit.edu> | 2013-04-21 15:58:34 -0400 |
commit | 7d189e95615b37106d504415ce21b8eec8710080 (patch) | |
tree | 8a555962766babe4325305ced0620cc5ddf2e786 /main.ur | |
parent | e65f4fa2ebe4ded5f15f59e729736879874e34a4 (diff) |
Forum: Functorize entry point
Diffstat (limited to 'main.ur')
-rw-r--r-- | main.ur | 18 |
1 files changed, 10 insertions, 8 deletions
@@ -18,6 +18,16 @@ with 6.947. If not, see <http://www.gnu.org/licenses/>. *) open Styles +structure Forum = Forum.Make(struct + fun generic (pageName : option string) (content : xbody) : page = + Template.generic pageName <xml> + {Menu.header (make [#Forum] ())} + {content} + </xml> + end) + +val forum = Forum.main + fun main () = return (Template.generic None <xml> {Menu.header (make [#Main] ())} @@ -29,11 +39,3 @@ fun main () = </p> </div> </xml>) - -and forum () = forumWorker Forum.main -and forumWorker (f : unit -> xbody) = - return (Template.generic (Some "Forum") <xml> - {Menu.header (make [#Forum] ())} - {f ()} - </xml>) - |