aboutsummaryrefslogtreecommitdiff
path: root/trunk/ivyLoop.ml
diff options
context:
space:
mode:
authorhattenberger2013-05-01 22:48:44 +0000
committerhattenberger2013-05-01 22:48:44 +0000
commitd567e908db2e1acec01d0798bd7e8af6c084dba4 (patch)
tree6b6eb46c9ea53360eda9127e54efb22acd857bbe /trunk/ivyLoop.ml
parent7fae936e59d5c4a446e0c1e92e6d2df4fac5c37d (diff)
downloadivy-ocaml-d567e908db2e1acec01d0798bd7e8af6c084dba4.zip
ivy-ocaml-d567e908db2e1acec01d0798bd7e8af6c084dba4.tar.gz
ivy-ocaml-d567e908db2e1acec01d0798bd7e8af6c084dba4.tar.bz2
ivy-ocaml-d567e908db2e1acec01d0798bd7e8af6c084dba4.tar.xz
remove accidental trunk dir
Diffstat (limited to 'trunk/ivyLoop.ml')
-rw-r--r--trunk/ivyLoop.ml22
1 files changed, 0 insertions, 22 deletions
diff --git a/trunk/ivyLoop.ml b/trunk/ivyLoop.ml
deleted file mode 100644
index 5808de4..0000000
--- a/trunk/ivyLoop.ml
+++ /dev/null
@@ -1,22 +0,0 @@
-type channel
-type delete_channel_cb = unit -> unit
-type timer
-type timer_cb = timer -> unit
-
-external ext_timer : int -> int -> string -> timer = "ivy_timerRepeatafter"
-
-let timer = fun n t cb ->
- let closure_name = Ivy.cb_register cb in
- ext_timer n t closure_name
-
-external remove_timer : timer -> unit = "ivy_timerRemove"
-
-external main : unit -> unit = "ivy_mainLoop"
-
-external ext_channelSetUp : Unix.file_descr -> string -> channel = "ivy_channelSetUp"
-external close_channel : channel -> unit = "ivy_channelClose"
-
-
-type read_channel_cb = channel -> unit
-let set_up_channel fd delete read =
- ext_channelSetUp fd (Ivy.cb_register read)