From d25c65412f60bc8e5626b4d8bcdc204281af385b Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 1 Jan 2009 16:11:42 -0500 Subject: Injecting strings and bools --- tests/jsinj.ur | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) (limited to 'tests/jsinj.ur') diff --git a/tests/jsinj.ur b/tests/jsinj.ur index d5bd7dbb..bd416720 100644 --- a/tests/jsinj.ur +++ b/tests/jsinj.ur @@ -5,6 +5,8 @@ fun getOpt (t ::: Type) (o : option t) (v : t) : t = cookie int : int cookie float : float +cookie string : string +cookie bool : bool fun main () : transaction page = n <- getCookie int; @@ -15,10 +17,24 @@ fun main () : transaction page = f <- return (getOpt f 1.23); sf <- source 4.56; + s <- getCookie string; + s <- return (getOpt s "Hi"); + ss <- source "Bye"; + + b <- getCookie bool; + b <- return (getOpt b True); + sb <- source False; + return {[n]}}/> CHANGE
{[f]}}/> CHANGE
+ + {[s]}}/> + CHANGE
+ + {[b]}}/> + CHANGE
-- cgit v1.2.3