From f45895094211495b2aec63541b97e61b71abf289 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 10 Feb 2011 08:46:46 -0500 Subject: Fix some cookie-related bugs in MonoReduce --- tests/cookieClear.ur | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) create mode 100644 tests/cookieClear.ur (limited to 'tests/cookieClear.ur') diff --git a/tests/cookieClear.ur b/tests/cookieClear.ur new file mode 100644 index 00000000..70829808 --- /dev/null +++ b/tests/cookieClear.ur @@ -0,0 +1,19 @@ +cookie c : int + +fun setit () = + setCookie c {Value = 13, + Expires = None, + Secure = False}; + return + +fun doit () = + ro <- getCookie c; + clearCookie c; + case ro of + None => return None + | Some v => return Some {[v]} + +fun main () = return + -- cgit v1.2.3