summaryrefslogtreecommitdiff
path: root/tests
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2014-07-13 06:14:23 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2014-07-13 06:14:23 -0400
commitdb48b359299336ff0457d260ed0c63a1c9ff47a4 (patch)
treee93a63fc00a79d48506bdc2ee775d187d567eeaf /tests
parentfa3f4460bff7c193271328b1b4453baece25d9b1 (diff)
Fix off-by-one error in less-safe FFI wrapper generation
Diffstat (limited to 'tests')
-rw-r--r--tests/lessSafeFfi.ur5
1 files changed, 3 insertions, 2 deletions
diff --git a/tests/lessSafeFfi.ur b/tests/lessSafeFfi.ur
index da79bfdc..ec96db0a 100644
--- a/tests/lessSafeFfi.ur
+++ b/tests/lessSafeFfi.ur
@@ -1,15 +1,16 @@
ffi foo : int -> int
ffi bar serverOnly benignEffectful : int -> transaction unit
ffi baz : transaction int
+ffi adder : int -> int -> int
-ffi bup jsFunc "jsbup" : int -> transaction unit
+ffi bup jsFunc "alert" : string -> transaction unit
fun other () : transaction page =
(*bar 17;
q <- baz;*)
return <xml><body>
(*{[foo 42]}, {[q]}*)
- <button onclick={fn _ => bup 32}/>
+ <button onclick={fn _ => bup "asdf"}/>
</body></xml>
fun main () = return <xml><body>