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 | 61da05eb589da322a312837c37c953926961faf7 (patch) | |
| tree | 9d3c1db605655be9f4357d6d258863c52d028185 /tests/lengthGe.ur | |
| parent | 3dc530c8da0e053e92b39144488045e88f1bcc18 (diff) | |
Client-side strlenGe
Diffstat (limited to 'tests/lengthGe.ur')
| -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> |