Mercurial > urweb

comparison tests/lessSafeFfi.ur @ 2038:ec2c7a22df0d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fix off-by-one error in less-safe FFI wrapper generation
author Adam Chlipala <adam@chlipala.net>
date Sun, 13 Jul 2014 06:14:23 -0400
parents 403f0cc65b9c
children 3d10ae22abd6
comparison
equal deleted inserted replaced
2037:cf453f48d28b 2038:ec2c7a22df0d
1 ffi foo : int -> int 1 ffi foo : int -> int
2 ffi bar serverOnly benignEffectful : int -> transaction unit 2 ffi bar serverOnly benignEffectful : int -> transaction unit
3 ffi baz : transaction int 3 ffi baz : transaction int
4 ffi adder : int -> int -> int
4 5
5 ffi bup jsFunc "jsbup" : int -> transaction unit 6 ffi bup jsFunc "alert" : string -> transaction unit
6 7
7 fun other () : transaction page = 8 fun other () : transaction page =
8 (*bar 17; 9 (*bar 17;
9 q <- baz;*) 10 q <- baz;*)
10 return <xml><body> 11 return <xml><body>
11 (*{[foo 42]}, {[q]}*) 12 (*{[foo 42]}, {[q]}*)
12 <button onclick={fn _ => bup 32}/> 13 <button onclick={fn _ => bup "asdf"}/>
13 </body></xml> 14 </body></xml>
14 15
15 fun main () = return <xml><body> 16 fun main () = return <xml><body>
16 <form> 17 <form>
17 <submit action={other}/> 18 <submit action={other}/>