diff options
author | Adam Chlipala <adam@chlipala.net> | 2014-07-16 04:06:11 -0400 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2014-07-16 04:06:11 -0400 |
commit | 63acfc44762cbbf3d8d957127a3c5eed3a399940 (patch) | |
tree | 53f458dfb11d651e541d450d90383b9aa693c7b0 /tests | |
parent | 0e31dda702cffe9c52a45b0443da549bc8ad00e6 (diff) |
Default 'jsFunc' for less-safe FFI
Diffstat (limited to 'tests')
-rw-r--r-- | tests/lessSafeFfi.ur | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/tests/lessSafeFfi.ur b/tests/lessSafeFfi.ur index ec96db0a..6bf26ba9 100644 --- a/tests/lessSafeFfi.ur +++ b/tests/lessSafeFfi.ur @@ -4,13 +4,15 @@ ffi baz : transaction int ffi adder : int -> int -> int ffi bup jsFunc "alert" : string -> transaction unit +ffi alert : string -> transaction unit fun other () : transaction page = (*bar 17; q <- baz;*) return <xml><body> (*{[foo 42]}, {[q]}*) - <button onclick={fn _ => bup "asdf"}/> + <button value="bup" onclick={fn _ => bup "asdf"}/> + <button value="alert" onclick={fn _ => alert "qqqz"}/> </body></xml> fun main () = return <xml><body> |