summaryrefslogtreecommitdiff
path: root/demo/nested.ur
diff options
context:
space:
mode:
authorGravatar Benjamin Barenblat <bbaren@mit.edu>2020-05-30 19:49:56 -0400
committerGravatar Benjamin Barenblat <bbaren@mit.edu>2020-05-30 19:49:56 -0400
commitc2f1e1096f602b1cbd4531352f3e1ea6d656a186 (patch)
treeae102982878bb0c31bdfe07209e60bfc14030490 /demo/nested.ur
parent095c2640aa2070ed4e2765875238d5e6e6673856 (diff)
parent5a0b639dfbd7db9d16c6995f72ba17152a1f362d (diff)
Merge branch 'upstream' into dfsg_clean20200209+dfsgdfsg_clean
Diffstat (limited to 'demo/nested.ur')
-rw-r--r--demo/nested.ur4
1 files changed, 2 insertions, 2 deletions
diff --git a/demo/nested.ur b/demo/nested.ur
index 31c9e1e8..5c9cd3cc 100644
--- a/demo/nested.ur
+++ b/demo/nested.ur
@@ -45,7 +45,7 @@ and fromA r =
</head>
<body>
<p>Hello {[forename]}{case surname of
- None => <xml/>
+ None => <xml></xml>
| Some s => <xml> {[s]}</xml>}</p>
{case surname of
None => <xml><a link={pageA ()}>Previous</a></xml>
@@ -59,4 +59,4 @@ and fromA r =
pageC None
end
-val main = pageA
+fun main () = pageA ()