From 05870005ecb7f8af384253ad5c714f574d9a01e3 Mon Sep 17 00:00:00 2001
From: malc <moosotc@gmail.com>
Date: Thu, 1 Dec 2016 03:16:01 +0300
Subject: [PATCH] Cosmetics

---
 wsi.ml | 61 ++++++++++++++++++++++++++++++-------------------------------
 1 file changed, 30 insertions(+), 31 deletions(-)

diff --git a/wsi.ml b/wsi.ml
index efdb90a..4bb2274 100644
--- a/wsi.ml
+++ b/wsi.ml
@@ -1320,35 +1320,34 @@ let isspecialkey key =
 ;;
 
 let kc2kt =
-  Keys.(
-    function
-    | 0xff08 -> Backspace
-    | 0xff9f -> Delete
-    | 0xff54 -> Down
-    | 0xff0d -> Enter
-    | 0xff1b -> Escape
-    | 0xff50 -> Home
-    | 0xff63 -> Insert
-    | 0xff57 -> End
-    | 0xffff -> KPdelete
-    | 0xff99 -> KPdown
-    | 0xff9c -> KPend
-    | 0xff8d -> KPenter
-    | 0xff95 -> KPhome
-    | 0xff96 -> KPleft
-    | 0xffad -> KPminus
-    | 0xff9b -> KPnext
-    | 0xffab -> KPplus
-    | 0xff9a -> KPprior
-    | 0xff98 -> KPright
-    | 0xff97 -> KPup
-    | 0xff51 -> Left
-    | 0xff56 -> Next
-    | 0xff55 -> Prior
-    | 0xff53 -> Right
-    | 0xff52 -> Up
-    | code when code > 31 && code < 128 -> Ascii (Char.unsafe_chr code)
-    | code when code > 0xffbd && code < 0xffc7 -> Fn (code - 0xffbe + 1)
-    | code -> Code code
-  )
+  let open Keys in
+  function
+  | 0xff08 -> Backspace
+  | 0xff9f -> Delete
+  | 0xff54 -> Down
+  | 0xff0d -> Enter
+  | 0xff1b -> Escape
+  | 0xff50 -> Home
+  | 0xff63 -> Insert
+  | 0xff57 -> End
+  | 0xffff -> KPdelete
+  | 0xff99 -> KPdown
+  | 0xff9c -> KPend
+  | 0xff8d -> KPenter
+  | 0xff95 -> KPhome
+  | 0xff96 -> KPleft
+  | 0xffad -> KPminus
+  | 0xff9b -> KPnext
+  | 0xffab -> KPplus
+  | 0xff9a -> KPprior
+  | 0xff98 -> KPright
+  | 0xff97 -> KPup
+  | 0xff51 -> Left
+  | 0xff56 -> Next
+  | 0xff55 -> Prior
+  | 0xff53 -> Right
+  | 0xff52 -> Up
+  | code when code > 31 && code < 128 -> Ascii (Char.unsafe_chr code)
+  | code when code > 0xffbd && code < 0xffc7 -> Fn (code - 0xffbe + 1)
+  | code -> Code code
 ;;
-- 
2.11.4.GIT