Ur/Web: tests/cffi.ur annotate

Path rewriting

author	Adam Chlipala <adamc@hcoop.net>
date	Sat, 02 May 2009 13:23:07 -0400
parents	df09c95085f8
children	eac1974924bb

rev	line source
adamc@766	1 fun printer () = Test.foo
adamc@766	2
adamc@765	3 fun effect () =
adamc@765	4 Test.print;
adamc@766	5 return <xml><body>
adamc@766	6 <button value="Remote" onclick={printer ()}/>
adamc@766	7 <button value="Local" onclick={Test.bar "Hoho"}/>
adamc@766	8 <button value="Either" onclick={Test.print}/>
adamc@766	9 </body></xml>
adamc@765	10
adamc@764	11 fun main () = return <xml><body>
adamc@764	12 {[Test.out (Test.frob (Test.create "Hello ") "world!")]}
adamc@765	13 <form><submit action={effect}/></form>
adamc@764	14 </body></xml>

Mercurial > urweb