diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2014-07-13 06:14:23 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2014-07-13 06:14:23 -0400 |
| commit | db48b359299336ff0457d260ed0c63a1c9ff47a4 (patch) | |
| tree | e93a63fc00a79d48506bdc2ee775d187d567eeaf /tests/lessSafeFfi.ur | |
| parent | fa3f4460bff7c193271328b1b4453baece25d9b1 (diff) | |
Fix off-by-one error in less-safe FFI wrapper generation
Diffstat (limited to 'tests/lessSafeFfi.ur')
| -rw-r--r-- | tests/lessSafeFfi.ur | 5 |
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> |