Ur/Web: tests/rs.ur annotate

Add a new scoping check for unification variables, to fix a type inference bug

author	Adam Chlipala <adam@chlipala.net>
date	Sun, 18 Dec 2011 11:29:13 -0500
parents	36f7d1debb37
children

rev	line source
adam@1446	1 fun bobo () =
adam@1446	2 n1 <- source 0;
adam@1446	3 n2 <- source 1;
adam@1446	4 return <xml>
adam@1446	5 <dyn signal={n1 <- signal n1; n2 <- signal n2; return <xml>{[n1 + n2]}</xml>}/>
adam@1446	6 <button value="Increment1" onclick={v <- get n1; set n1 (v + 1)}/>
adam@1446	7 <button value="Increment2" onclick={v <- get n2; set n2 (v + 1)}/>
adam@1446	8 </xml>
adam@1446	9
adam@1446	10 fun main () =
adam@1446	11 x <- source <xml/>;
adam@1446	12 return <xml><body>
adam@1446	13 <dyn signal={signal x}/>
adam@1446	14 <button value="Grab" onclick={y <- rpc (bobo ()); set x y}/>
adam@1446	15 </body></xml>

Mercurial > urweb