Mercurial > urweb
comparison tests/lessSafeFfi.ur @ 2206:c1a62ce47083
Merge.
| author | Ziv Scully <ziv@mit.edu> |
|---|---|
| date | Tue, 27 May 2014 21:38:01 -0400 |
| parents | 403f0cc65b9c |
| children | ec2c7a22df0d |
comparison
equal
deleted
inserted
replaced
| 2205:cdea39473c78 | 2206:c1a62ce47083 |
|---|---|
| 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> |