From 0cccdb0ae595cd7e3e136e984ac7b95b99f71a53 Mon Sep 17 00:00:00 2001 From: Benjamin Barenblat Date: Sun, 23 Jul 2017 09:50:04 -0400 Subject: Import urweb_20170720+dfsg.orig.tar.gz [dgit import orig urweb_20170720+dfsg.orig.tar.gz] --- tests/cookie.ur | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) create mode 100644 tests/cookie.ur (limited to 'tests/cookie.ur') diff --git a/tests/cookie.ur b/tests/cookie.ur new file mode 100644 index 0000000..bef45a4 --- /dev/null +++ b/tests/cookie.ur @@ -0,0 +1,22 @@ +cookie c : string + +fun other () = + so <- getCookie c; + case so of + None => return No cookie + | Some s => return Cookie: {[s]} + +structure M = struct + fun aux () = + setCookie c "Hi"; + so <- getCookie c; + case so of + None => return No cookie + | Some s => return Cookie: {[s]}
+ Other +end + +fun main () : transaction page = return + Other
+ Aux
+ -- cgit v1.2.3