summaryrefslogtreecommitdiff
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
commit3d549ae3dd78eef40cebe4dd4dcc83a5793dab87 (patch)
tree53f458dfb11d651e541d450d90383b9aa693c7b0 /tests/lessSafeFfi.ur
parentdb48b359299336ff0457d260ed0c63a1c9ff47a4 (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>