diff options
Diffstat (limited to 'trunk/tkIvy.ml')
| -rw-r--r-- | trunk/tkIvy.ml | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/trunk/tkIvy.ml b/trunk/tkIvy.ml deleted file mode 100644 index 907baa9..0000000 --- a/trunk/tkIvy.ml +++ /dev/null @@ -1,8 +0,0 @@ - -type channel -external main : unit -> unit = "ivy_TclmainLoop" -external ext_channelSetUp : Unix.file_descr -> string -> channel = "ivy_TclchannelSetUp" -let set_up_channel fd delete read = - ext_channelSetUp fd (Ivy.cb_register read) -external close_channel : channel -> unit = "ivy_TclchannelClose" - |