diff 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
line wrap: on
line diff
--- a/tests/lessSafeFfi.ur	Sun Jul 13 06:14:23 2014 -0400
+++ b/tests/lessSafeFfi.ur	Wed Jul 16 04:06:11 2014 -0400
@@ -4,13 +4,15 @@
 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>