Permalink
Browse files

Change event_base_loop interface

  • Loading branch information...
1 parent 88ab1a0 commit 7238ae411f7b2581b48d265529023133598272b7 @doublec committed Jul 17, 2012
Showing with 1 addition and 1 deletion.
  1. +1 −1 SATS/libevent.sats
View
2 SATS/libevent.sats
@@ -98,7 +98,7 @@ fun event_base_set(base: !event_base1, e: !event1):int = "mac#event_base_set"
#define EVLOOP_ONCE 0x01
#define EVLOOP_NONBLOCK 0x02
-fun event_base_loop(base: !event_base1, flag: int): [n:int | n == ~1 || n == 0 || n == 1] int n = "mac#event_base_loop"
+fun event_base_loop {l:agz} (base: !event_base l, flag: int): [n:int | n == ~1 || n == 0 || n == 1] int n = "mac#event_base_loop"
(* TODO: Handle tv arg *)
fun event_base_loopexit {l:agz} (base: !event_base l, tv: ptr):[n:int | n == ~1 || n == 0] int n = "mac#event_base_loopexit"
fun event_base_loopbreak(base: !event_base1):[n:int | n == ~1 || n == 0] int n = "mac#event_base_loopbreak"

0 comments on commit 7238ae4

Please sign in to comment.