summaryrefslogtreecommitdiff
path: root/tests/jsinj.ur
diff options
context:
space:
mode:
Diffstat (limited to 'tests/jsinj.ur')
-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>