Mercurial > urweb
comparison tests/lessSafeFfi.ur @ 2010:403f0cc65b9c
New lessSafeFfi
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Fri, 02 May 2014 19:19:09 -0400 |
| parents | |
| children | ec2c7a22df0d |
comparison
equal
deleted
inserted
replaced
| 2009:799be3911ce3 | 2010:403f0cc65b9c |
|---|---|
| 1 ffi foo : int -> int | |
| 2 ffi bar serverOnly benignEffectful : int -> transaction unit | |
| 3 ffi baz : transaction int | |
| 4 | |
| 5 ffi bup jsFunc "jsbup" : int -> transaction unit | |
| 6 | |
| 7 fun other () : transaction page = | |
| 8 (*bar 17; | |
| 9 q <- baz;*) | |
| 10 return <xml><body> | |
| 11 (*{[foo 42]}, {[q]}*) | |
| 12 <button onclick={fn _ => bup 32}/> | |
| 13 </body></xml> | |
| 14 | |
| 15 fun main () = return <xml><body> | |
| 16 <form> | |
| 17 <submit action={other}/> | |
| 18 </form> | |
| 19 </body></xml> |