Ur/Web: tests/jsparse.ur annotate

Note a parsing restriction in the manual

author	Adam Chlipala <adam@chlipala.net>
date	Fri, 21 Oct 2011 08:36:10 -0400
parents	c270fb847dc2
children

rev	line source
adamc@906	1 fun main () =
adamc@906	2 s <- source "13";
adamc@906	3 return <xml><body>
adamc@906	4 <ctextbox source={s}/>
adamc@906	5 <dyn signal={v <- signal s; return (case read v : option int of
adamc@906	6 None => <xml>None</xml>
adamc@906	7 \| Some n => <xml>Some {[n]}</xml>)}/>
adamc@906	8 </body></xml>

Mercurial > urweb