diff tests/strcspn.ur @ 1793:446e73902b09

Fix JavaScript implementation of strcspn()
author Adam Chlipala <adam@chlipala.net>
date Tue, 24 Jul 2012 19:49:50 -0400
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/tests/strcspn.ur	Tue Jul 24 19:49:50 2012 -0400
@@ -0,0 +1,6 @@
+fun main () : transaction page =
+    s <- source "";
+    return <xml><body>
+      <ctextbox source={s}/>
+      <button onclick={fn _ => v <- get s; alert (show (strcspn v "0123456789"))}/>
+    </body></xml>