diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2018-06-16 13:22:43 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2018-06-16 13:22:43 -0400 |
| commit | c98f27c7821f6d8f3add303da692630bba268d1d (patch) | |
| tree | 976fa9c7a0ab5b579e6b0cbbf58bc9ccf6c3c55f | |
| parent | e3ca4ca819a3ac665f10409ed13bf2a14c3c5510 (diff) | |
Slight change to venerable Nested demo, to get proper URL resolution
| -rw-r--r-- | demo/nested.ur | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/demo/nested.ur b/demo/nested.ur index 13d0fc61..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> |