comparison tests/lessSafeFfi.ur @ 2039:3d10ae22abd6

Default 'jsFunc' for less-safe FFI
author Adam Chlipala <adam@chlipala.net>
date Wed, 16 Jul 2014 04:06:11 -0400
parents ec2c7a22df0d
children
comparison
equal deleted inserted replaced
2038:ec2c7a22df0d 2039:3d10ae22abd6
2 ffi bar serverOnly benignEffectful : int -> transaction unit 2 ffi bar serverOnly benignEffectful : int -> transaction unit
3 ffi baz : transaction int 3 ffi baz : transaction int
4 ffi adder : int -> int -> int 4 ffi adder : int -> int -> int
5 5
6 ffi bup jsFunc "alert" : string -> transaction unit 6 ffi bup jsFunc "alert" : string -> transaction unit
7 ffi alert : string -> transaction unit
7 8
8 fun other () : transaction page = 9 fun other () : transaction page =
9 (*bar 17; 10 (*bar 17;
10 q <- baz;*) 11 q <- baz;*)
11 return <xml><body> 12 return <xml><body>
12 (*{[foo 42]}, {[q]}*) 13 (*{[foo 42]}, {[q]}*)
13 <button onclick={fn _ => bup "asdf"}/> 14 <button value="bup" onclick={fn _ => bup "asdf"}/>
15 <button value="alert" onclick={fn _ => alert "qqqz"}/>
14 </body></xml> 16 </body></xml>
15 17
16 fun main () = return <xml><body> 18 fun main () = return <xml><body>
17 <form> 19 <form>
18 <submit action={other}/> 20 <submit action={other}/>