From e3ca4ca819a3ac665f10409ed13bf2a14c3c5510 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sat, 16 Jun 2018 13:21:24 -0400 Subject: Slight change to venerable Nested demo, to get proper URL resolution --- demo/nested.ur | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'demo/nested.ur') diff --git a/demo/nested.ur b/demo/nested.ur index 31c9e1e8..13d0fc61 100644 --- a/demo/nested.ur +++ b/demo/nested.ur @@ -59,4 +59,4 @@ and fromA r = pageC None end -val main = pageA +fun main () = pageA () -- cgit v1.2.3 From c98f27c7821f6d8f3add303da692630bba268d1d Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sat, 16 Jun 2018 13:22:43 -0400 Subject: Slight change to venerable Nested demo, to get proper URL resolution --- demo/nested.ur | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'demo/nested.ur') 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 =

Hello {[forename]}{case surname of - None => + None => | Some s => {[s]}}

{case surname of None => Previous -- cgit v1.2.3