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 | 3d549ae3dd78eef40cebe4dd4dcc83a5793dab87 (patch) | |
| tree | 53f458dfb11d651e541d450d90383b9aa693c7b0 /tests | |
| parent | db48b359299336ff0457d260ed0c63a1c9ff47a4 (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> |