summaryrefslogtreecommitdiff
path: root/tests/stypes.ur
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-01-01 10:49:42 -0500
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-01-01 10:49:42 -0500
commitfdcba593de74be15f49d299084829613dda90463 (patch)
tree153e0b43138171ab20f686aff9c6612f62729f4a /tests/stypes.ur
parent5f375b7ae7be0270205c495adfeb209983b882e1 (diff)
Used an option as a source
Diffstat (limited to 'tests/stypes.ur')
-rw-r--r--tests/stypes.ur5
1 files changed, 5 insertions, 0 deletions
diff --git a/tests/stypes.ur b/tests/stypes.ur
index 4d918a91..1ac70834 100644
--- a/tests/stypes.ur
+++ b/tests/stypes.ur
@@ -11,4 +11,9 @@ fun main () : transaction page =
<dyn signal={n <- signal sFloat; return <xml>{[n + 1.0]}</xml>}/> <a onclick={set sFloat 4.56}>Change</a><br/>
<dyn signal={p <- signal sBoth; return <xml>{[p.1]}, {[p.2]}</xml>}/> <a onclick={set sBoth (8, 100.001)}>Change</a><br/>
+
+ <dyn signal={o <- signal sOpt; case o of
+ None => return <xml>None</xml>
+ | Some n => return <xml>{[n]}</xml>}/>
+ <a onclick={set sOpt (Some 7)}>Change</a><br/>
</body></xml>