From edb9b300c3bc74995b1d618ab3f74691758046c4 Mon Sep 17 00:00:00 2001
From: Humza Shahid <humzasaur@gmail.com>
Date: Fri, 21 Feb 2025 19:14:58 +0000
Subject: [PATCH] add function to convert CoreKey.key_code to string, as
 preparation for converting user key record to string, which itself is a
 prerequisite of saving controls configuration to file

---
 fcore/core-key.sml | 124 +++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 124 insertions(+)

diff --git a/fcore/core-key.sml b/fcore/core-key.sml
index 67eb667..cf4c90d 100644
--- a/fcore/core-key.sml
+++ b/fcore/core-key.sml
@@ -138,6 +138,7 @@ sig
     }
 
   val keyFromString: string -> key_code option
+  val keyToString: key_code -> string
 
   val containsKey: key_code * key_code list -> bool
   val containsAttack: user_key * key_code list -> bool
@@ -407,6 +408,129 @@ struct
     | "KEY_MENU" => SOME KEY_MENU
     | _ => NONE
 
+  fun keyToString key =
+    case key of
+      KEY_SPACE => "KEY_SPACE"
+    | KEY_APOSTROPHE => "KEY_APOSTROPHE"
+    | KEY_COMMA => "KEY_COMMA"
+    | KEY_MINUS => "KEY_MINUS"
+    | KEY_PERIOD => "KEY_PERIOD"
+    | KEY_SLASH => "KEY_SLASH"
+    | KEY_0 => "KEY_0"
+    | KEY_1 => "KEY_1"
+    | KEY_2 => "KEY_2"
+    | KEY_3 => "KEY_3"
+    | KEY_4 => "KEY_4"
+    | KEY_5 => "KEY_5"
+    | KEY_6 => "KEY_6"
+    | KEY_7 => "KEY_7"
+    | KEY_8 => "KEY_8"
+    | KEY_9 => "KEY_9"
+    | KEY_SEMICOLON => "KEY_SEMICOLON"
+    | KEY_EQUAL => "KEY_EQUAL"
+    | KEY_A => "KEY_A"
+    | KEY_B => "KEY_B"
+    | KEY_C => "KEY_C"
+    | KEY_D => "KEY_D"
+    | KEY_E => "KEY_E"
+    | KEY_F => "KEY_F"
+    | KEY_G => "KEY_G"
+    | KEY_H => "KEY_H"
+    | KEY_I => "KEY_I"
+    | KEY_J => "KEY_J"
+    | KEY_K => "KEY_K"
+    | KEY_L => "KEY_L"
+    | KEY_M => "KEY_M"
+    | KEY_N => "KEY_N"
+    | KEY_O => "KEY_O"
+    | KEY_P => "KEY_P"
+    | KEY_Q => "KEY_Q"
+    | KEY_R => "KEY_R"
+    | KEY_S => "KEY_S"
+    | KEY_T => "KEY_T"
+    | KEY_U => "KEY_U"
+    | KEY_V => "KEY_V"
+    | KEY_W => "KEY_W"
+    | KEY_X => "KEY_X"
+    | KEY_Y => "KEY_Y"
+    | KEY_Z => "KEY_Z"
+    | KEY_LEFT_BRACKET => "KEY_LEFT_BRACKET"
+    | KEY_BACKSLASH => "KEY_BACKSLASH"
+    | KEY_RIGHT_BRACKET => "KEY_RIGHT_BRACKET"
+    | KEY_GRAVE_ACCENT => "KEY_GRAVE_ACCENT"
+    | KEY_WORLD_1 => "KEY_WORLD_1"
+    | KEY_WORLD_2 => "KEY_WORLD_2"
+    | KEY_ESCAPE => "KEY_ESCAPE"
+    | KEY_ENTER => "KEY_ENTER"
+    | KEY_TAB => "KEY_TAB"
+    | KEY_BACKSPACE => "KEY_BACKSPACE"
+    | KEY_INSERT => "KEY_INSERT"
+    | KEY_DELETE => "KEY_DELETE"
+    | KEY_LEFT => "KEY_LEFT"
+    | KEY_RIGHT => "KEY_RIGHT"
+    | KEY_DOWN => "KEY_DOWN"
+    | KEY_UP => "KEY_UP"
+    | KEY_PAGE_UP => "KEY_PAGE_UP"
+    | KEY_PAGE_DOWN => "KEY_PAGE_DOWN"
+    | KEY_HOME => "KEY_HOME"
+    | KEY_END => "KEY_END"
+    | KEY_CAPS_LOCK => "KEY_CAPS_LOCK"
+    | KEY_SCROLL_LOCK => "KEY_SCROLL_LOCK"
+    | KEY_NUM_LOCK => "KEY_NUM_LOCK"
+    | KEY_PRINT_SCREEN => "KEY_PRINT_SCREEN"
+    | KEY_PAUSE => "KEY_PAUSE"
+    | KEY_F1 => "KEY_F1"
+    | KEY_F2 => "KEY_F2"
+    | KEY_F3 => "KEY_F3"
+    | KEY_F4 => "KEY_F4"
+    | KEY_F5 => "KEY_F5"
+    | KEY_F6 => "KEY_F6"
+    | KEY_F7 => "KEY_F7"
+    | KEY_F8 => "KEY_F8"
+    | KEY_F9 => "KEY_F9"
+    | KEY_F10 => "KEY_F10"
+    | KEY_F11 => "KEY_F11"
+    | KEY_F12 => "KEY_F12"
+    | KEY_F13 => "KEY_F13"
+    | KEY_F14 => "KEY_F14"
+    | KEY_F15 => "KEY_F15"
+    | KEY_F16 => "KEY_F16"
+    | KEY_F17 => "KEY_F17"
+    | KEY_F18 => "KEY_F18"
+    | KEY_F19 => "KEY_F19"
+    | KEY_F20 => "KEY_F20"
+    | KEY_F21 => "KEY_F21"
+    | KEY_F22 => "KEY_F22"
+    | KEY_F23 => "KEY_F23"
+    | KEY_F24 => "KEY_F24"
+    | KEY_F25 => "KEY_F25"
+    | KEY_KP_0 => "KEY_KP_0"
+    | KEY_KP_1 => "KEY_KP_1"
+    | KEY_KP_2 => "KEY_KP_2"
+    | KEY_KP_3 => "KEY_KP_3"
+    | KEY_KP_4 => "KEY_KP_4"
+    | KEY_KP_5 => "KEY_KP_5"
+    | KEY_KP_6 => "KEY_KP_6"
+    | KEY_KP_7 => "KEY_KP_7"
+    | KEY_KP_8 => "KEY_KP_8"
+    | KEY_KP_9 => "KEY_KP_9"
+    | KEY_KP_DECIMAL => "KEY_KP_DECIMAL"
+    | KEY_KP_DIVIDE => "KEY_KP_DIVIDE"
+    | KEY_KP_MULTIPLY => "KEY_KP_MULTIPLY"
+    | KEY_KP_SUBTRACT => "KEY_KP_SUBTRACT"
+    | KEY_KP_ADD => "KEY_KP_ADD"
+    | KEY_KP_ENTER => "KEY_KP_ENTER"
+    | KEY_KP_EQUAL => "KEY_KP_EQUAL"
+    | KEY_LEFT_SHIFT => "KEY_LEFT_SHIFT"
+    | KEY_LEFT_CONTROL => "KEY_LEFT_CONTROL"
+    | KEY_LEFT_ALT => "KEY_LEFT_ALT"
+    | KEY_LEFT_SUPER => "KEY_LEFT_SUPER"
+    | KEY_RIGHT_SHIFT => "KEY_RIGHT_SHIFT"
+    | KEY_RIGHT_CONTROL => "KEY_RIGHT_CONTROL"
+    | KEY_RIGHT_ALT => "KEY_RIGHT_ALT"
+    | KEY_RIGHT_SUPER => "KEY_RIGHT_SUPER"
+    | KEY_MENU => "KEY_MENU"
+
   fun containsKey (searchKey, lst) =
     case lst of
       hd :: tl => hd = searchKey orelse containsKey (searchKey, tl)