summaryrefslogtreecommitdiff
path: root/tests
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-01-01 10:08:22 -0500
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-01-01 10:08:22 -0500
commit04b18b668cdc26f640cfed063ae9fe845201036b (patch)
tree29c1a18a15edea62d79e1761e3c63cfc14644d2b /tests
parent0db3fba5d2b9b5c0dbd8468a76b2ef75ebe40437 (diff)
Source containing an int
Diffstat (limited to 'tests')
-rw-r--r--tests/stypes.ur5
-rw-r--r--tests/stypes.urp3
2 files changed, 8 insertions, 0 deletions
diff --git a/tests/stypes.ur b/tests/stypes.ur
new file mode 100644
index 00000000..6368d5c9
--- /dev/null
+++ b/tests/stypes.ur
@@ -0,0 +1,5 @@
+fun main () : transaction page =
+ sInt <- source 0;
+ return <xml><body>
+ <dyn signal={n <- signal sInt; return <xml>{[n]}</xml>}/> <a onclick={set sInt 1}>Change</a><br/>
+ </body></xml>
diff --git a/tests/stypes.urp b/tests/stypes.urp
new file mode 100644
index 00000000..353ea9e6
--- /dev/null
+++ b/tests/stypes.urp
@@ -0,0 +1,3 @@
+debug
+
+stypes