From 4d613eff244a5ebf30d099de3582ec2c45f347e4 Mon Sep 17 00:00:00 2001
From: malc <moosotc@gmail.com>
Date: Thu, 1 Dec 2016 02:57:01 +0300
Subject: [PATCH] Cosmetics

---
 wsi.ml | 13 +++++--------
 1 file changed, 5 insertions(+), 8 deletions(-)

diff --git a/wsi.ml b/wsi.ml
index 95c2560..eccd2d1 100644
--- a/wsi.ml
+++ b/wsi.ml
@@ -1319,12 +1319,8 @@ let isspecialkey key =
   || key land 0xfd00 = 0xfd00   (* 3270 *)
 ;;
 
-let kc2pv code =
-  let open Keys in
-  if code > 31 && code < 128
-  then Ascii (Char.chr code)
-  else
-    match code with
+let kc2pv = Keys.(
+    function
     | 0xff08 -> Backspace
     | 0xff9f -> Delete
     | 0xff54 -> Down
@@ -1350,6 +1346,7 @@ let kc2pv code =
     | 0xff55 -> Prior
     | 0xff53 -> Right
     | 0xff52 -> Up
-    | code   ->  if code >= 0xffbe && code <= 0xffc6
-                 then Fn (code - 0xffbe + 1) else Code code
+    | 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