diff options
| author |  Benjamin Barenblat <bbaren@mit.edu> | 2020-05-31 18:29:03 -0400 |
|---|---|---|
| committer | Benjamin Barenblat <bbaren@mit.edu> | 2020-05-31 18:29:03 -0400 |
| commit | 6cc104634ef64be3be88c1fccbe98208d95d8a1a (patch) | |
| tree | 9001e5333e808808125978a52669a8bff3639438 /tests/a_case_of_the_splits.ur | |
| parent | 82fde07cef0e41b700b9a30137562eb05f2f2c6d (diff) | |
| parent | c2f1e1096f602b1cbd4531352f3e1ea6d656a186 (diff) | |
Merge branch 'dfsg_clean'
Diffstat (limited to 'tests/a_case_of_the_splits.ur')
| -rw-r--r-- | tests/a_case_of_the_splits.ur | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/tests/a_case_of_the_splits.ur b/tests/a_case_of_the_splits.ur new file mode 100644 index 00000000..2029729e --- /dev/null +++ b/tests/a_case_of_the_splits.ur @@ -0,0 +1,17 @@ +fun newCounter () : transaction xbody = + x <- source 0; + return <xml> + <dyn signal={n <- signal x; return <xml>{[n]}</xml>}/> + </xml> + +fun main () : transaction page = + ls <- source ([] : list xbody); + return <xml> + <body> + <button value="Add" onclick={fn _ => + l <- get ls; + c <- newCounter (); + set ls (c :: l)}/> + <dyn signal={l <- signal ls; return <xml>{[l]}</xml>}/> + </body> + </xml> |