Mercurial > urweb
annotate tests/rpc.ur @ 1836:276fa06428ba
Ignore polymorphism in JavaScript calls to custom FFI functions, allowing a kind of simple dynamic typing (unsafe, of course)
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Tue, 11 Dec 2012 15:58:23 -0500 |
| parents | 56aaa1941dad |
| children |
| rev | line source |
|---|---|
| adamc@607 | 1 sequence s |
| adamc@607 | 2 |
| adamc@607 | 3 fun main () : transaction page = |
| adamc@607 | 4 let |
| adamc@607 | 5 fun getNext () = nextval s |
| adamc@607 | 6 in |
| adamc@607 | 7 s <- source 0; |
| adamc@607 | 8 return <xml><body> |
| adamc@607 | 9 <button value="Get It On!" |
| adamc@607 | 10 onclick={n <- getNext (); |
| adamc@609 | 11 set s n}/><br/> |
| adamc@609 | 12 <br/> |
| adamc@609 | 13 Current: <dyn signal={n <- signal s; return <xml>{[n]}</xml>}/> |
| adamc@607 | 14 </body></xml> |
| adamc@607 | 15 end |