From a78c673483adad1493f098965ad7802f8f42759e Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 1 Jan 2009 15:59:02 -0500 Subject: Injecting a float --- tests/jsinj.ur | 18 ++++++++++++++---- 1 file changed, 14 insertions(+), 4 deletions(-) (limited to 'tests/jsinj.ur') diff --git a/tests/jsinj.ur b/tests/jsinj.ur index 194d26be..d5bd7dbb 100644 --- a/tests/jsinj.ur +++ b/tests/jsinj.ur @@ -1,14 +1,24 @@ -cookie int : int - fun getOpt (t ::: Type) (o : option t) (v : t) : t = case o of None => v | Some x => x +cookie int : int +cookie float : float + fun main () : transaction page = n <- getCookie int; - sn <- source (getOpt n 7); + n <- return (getOpt n 7); + sn <- source 6; + + f <- getCookie float; + f <- return (getOpt f 1.23); + sf <- source 4.56; + return {[n]}}/> - CHANGE + CHANGE
+ + {[f]}}/> + CHANGE
-- cgit v1.2.3