From 940a3f261ea88094dd195ee159673f6abab54bc2 Mon Sep 17 00:00:00 2001 From: Camil Staps Date: Mon, 6 Jan 2020 16:19:12 +0100 Subject: Cleanup example --- test.icl | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) (limited to 'test.icl') diff --git a/test.icl b/test.icl index 75cc04b..9136510 100644 --- a/test.icl +++ b/test.icl @@ -5,8 +5,6 @@ import Data.Either import Data.Maybe import Inotify -:: Void = Void - /** * test: Example usage of Inotify * @@ -17,7 +15,7 @@ import Inotify */ Start w -# (Just inot) = inotify_init Void +# (Just inot) = inotify_init () # (Right watch, inot) = inotify_add_watch (echo "file1") IN_ALL_EVENTS "file1" inot # (Right watch, inot) @@ -28,12 +26,12 @@ Start w # (inot, w) = inotify_loop_with_timeout (Just 10000) inot w = inotify_close inot where - echo :: String INEvent (Maybe String) Void *World -> *(Void, *World) + echo :: String INEvent (Maybe String) () *World -> *((), *World) echo fname ev f _ w # (io,w) = stdio w # io = io <<< "EVENT: ["<<< fname <<<"; "<<< ev <<<"; "<<< f <<<"]\n" # (ok,w) = fclose io w - = (Void, w) + = ((), w) instance <<< (Maybe a) | <<< a where -- cgit v1.2.3