comparison tests/cffi.ur @ 766:df09c95085f8

More FFI compiler options
author Adam Chlipala <adamc@hcoop.net>
date Sat, 02 May 2009 12:10:43 -0400
parents a28982de5645
children eac1974924bb
comparison
equal deleted inserted replaced
765:a28982de5645 766:df09c95085f8
1 fun printer () = Test.foo
2
1 fun effect () = 3 fun effect () =
2 Test.print; 4 Test.print;
3 return <xml/> 5 return <xml><body>
6 <button value="Remote" onclick={printer ()}/>
7 <button value="Local" onclick={Test.bar "Hoho"}/>
8 <button value="Either" onclick={Test.print}/>
9 </body></xml>
4 10
5 fun main () = return <xml><body> 11 fun main () = return <xml><body>
6 {[Test.out (Test.frob (Test.create "Hello ") "world!")]} 12 {[Test.out (Test.frob (Test.create "Hello ") "world!")]}
7 <form><submit action={effect}/></form> 13 <form><submit action={effect}/></form>
8 </body></xml> 14 </body></xml>