clean up native api

1 files changed, 5 insertions, 4 deletions

diff --git a/src/Waylean.lean b/src/Waylean.lean
index 28c5f58..a13b867 100644
--- a/src/Waylean.lean
+++ b/src/Waylean.lean
@@ -1,15 +1,16 @@
 import Wayland
+open Wayland.Native
 
-partial def mainLoop (loop : EventLoop) : IO Unit := do
+partial def mainLoop (loop : EventLoop (IO Unit)) : IO Unit := do
   match (← loop.poll) with
   | .none => return
   | .some msg => msg; mainLoop loop
 
 partial def main : IO Unit := do
-  let disp ← Display.new .none
-  let loop ← EventLoop.new
+  let disp : Display ← Display.new .none
+  let loop : EventLoop (IO Unit) ← EventLoop.new
   _ ← loop.addDisplay disp
-  _ ← loop.addSignal 2 (do
+  _ ← loop.addSignal SIGINT (do
     IO.println "Received SIGINT"
     loop.quit)
   let rec setUpTimer := loop.addTimer 500 (do