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
commit62e9d88be744f971152166280d522e78f4ddb574 (patch)
tree29c1a18a15edea62d79e1761e3c63cfc14644d2b /tests
parentc25af86ae9310055dd594f6330e39f93c9f24cb7 (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