aboutsummaryrefslogtreecommitdiffhomepage
path: root/tests/lessSafeFfi.ur
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2014-07-16 04:06:11 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2014-07-16 04:06:11 -0400
commit63acfc44762cbbf3d8d957127a3c5eed3a399940 (patch)
tree53f458dfb11d651e541d450d90383b9aa693c7b0 /tests/lessSafeFfi.ur
parent0e31dda702cffe9c52a45b0443da549bc8ad00e6 (diff)
Default 'jsFunc' for less-safe FFI
Diffstat (limited to 'tests/lessSafeFfi.ur')
-rw-r--r--tests/lessSafeFfi.ur4
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>