diff options
author | Adam Chlipala <adam@chlipala.net> | 2011-12-03 16:05:06 -0500 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2011-12-03 16:05:06 -0500 |
commit | 84087a5652e9f616fdf135c6d0da7ddc33d0edfc (patch) | |
tree | 9d3c1db605655be9f4357d6d258863c52d028185 /tests | |
parent | 5a6ced2cb8eb45b392c72988a834323a61a147a1 (diff) |
Client-side strlenGe
Diffstat (limited to 'tests')
-rw-r--r-- | tests/lengthGe.ur | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/tests/lengthGe.ur b/tests/lengthGe.ur new file mode 100644 index 00000000..2991ad87 --- /dev/null +++ b/tests/lengthGe.ur @@ -0,0 +1,7 @@ +fun main () : transaction page = + s <- source ""; + return <xml><body> + <ctextbox source={s}/> + <dyn signal={v <- signal s; + return (txt (strlenGe v 3))}/> + </body></xml> |