adam@2010: ffi foo : int -> int
adam@2010: ffi bar serverOnly benignEffectful : int -> transaction unit
adam@2010: ffi baz : transaction int
adam@2010:
adam@2010: ffi bup jsFunc "jsbup" : int -> transaction unit
adam@2010:
adam@2010: fun other () : transaction page =
adam@2010: (*bar 17;
adam@2010: q <- baz;*)
adam@2010: return
adam@2010: (*{[foo 42]}, {[q]}*)
adam@2010:
adam@2010:
adam@2010: fun main () = return
adam@2010:
adam@2010: