Give up on typesafe menu generation and use 'bless'

1 files changed, 23 insertions, 0 deletions

diff --git a/menu.urs b/menu.urs
new file mode 100644
index 0000000..0372aab
--- /dev/null
+++ b/menu.urs
@@ -0,0 +1,23 @@
+(* Menu -- site menu
+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/>. *)
+
+(* The menu scheme in this app is based on a variant 'pageName', which
+describes the name of the page.  There's one value for each page. *)
+con pageName = variant (mapU unit [Main, Forum])
+
+val header : pageName -> xbody