Ur/Web: tests/jsuni.ur annotate

Update Coq semantics for 8.3pl2

author	Adam Chlipala <adam@chlipala.net>
date	Wed, 30 Nov 2011 15:28:56 -0500
parents	e81434513720
children

rev	line source
adamc@1087	1 fun main () =
adamc@1087	2 s1 <- source "";
adamc@1087	3 s2 <- source "";
adamc@1087	4
adamc@1087	5 let
adamc@1087	6 fun echo s = return s
adamc@1087	7
adamc@1087	8 fun echoer () =
adamc@1087	9 v1 <- get s1;
adamc@1087	10 v1' <- rpc (echo v1);
adamc@1087	11 set s2 v1'
adamc@1087	12 in
adamc@1087	13 return <xml><body>
adamc@1087	14 <dyn signal={v <- signal s2; return (cdata v)}/><hr/>
adamc@1087	15 <ctextbox source={s1}/> <button onclick={echoer ()}/>
adamc@1087	16 </body></xml>
adamc@1087	17 end

Mercurial > urweb