summaryrefslogtreecommitdiff
path: root/tests
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-01-02 13:03:22 -0500
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-01-02 13:03:22 -0500
commit06334cca38dfb430071426e79c98c685b7d53a8c (patch)
treefe408da7de890226e6247a4446ecf1f155e2ed82 /tests
parent5b54ae6f4d5896428cdab7b213471498fa8a0b8a (diff)
Injected an option
Diffstat (limited to 'tests')
-rw-r--r--tests/jsinj.ur10
1 files changed, 10 insertions, 0 deletions
diff --git a/tests/jsinj.ur b/tests/jsinj.ur
index d9e09fb5..632a2839 100644
--- a/tests/jsinj.ur
+++ b/tests/jsinj.ur
@@ -8,6 +8,7 @@ cookie float : float
cookie string : string
cookie bool : bool
cookie pair : int * float
+cookie option : option int
fun main () : transaction page =
n <- getCookie int;
@@ -30,6 +31,10 @@ fun main () : transaction page =
p <- return (getOpt p (1, 2.3));
sp <- source (4, 5.6);
+ o <- getCookie option;
+ o <- return (getOpt o (Some 1));
+ op <- source None;
+
return <xml><body>
<dyn signal={n <- signal sn; return <xml>{[n]}</xml>}/>
<a onclick={set sn n}>CHANGE</a><br/>
@@ -45,4 +50,9 @@ fun main () : transaction page =
<dyn signal={p <- signal sp; return <xml>{[p.1]}, {[p.2]}</xml>}/>
<a onclick={set sp p}>CHANGE</a><br/>
+
+ <dyn signal={o <- signal op; case o of
+ None => return <xml>None</xml>
+ | Some x => return <xml>{[x]}</xml>}/>
+ <a onclick={set op o}>CHANGE</a><br/>
</body></xml>