save grid to custom format

2025-07-12 06:03:59 +01:00
parent 04bb7a18c0
commit eb0b8d31b2
6 changed files with 41 additions and 15 deletions
--- a/message-types/file-msg.sml
+++ b/message-types/file-msg.sml
@@ -1,7 +1,7 @@
 structure FileMessage =
 struct
  datatype t =
-    SAVE_SQUARES of int vector vector
+    SAVE_SQUARES of string
  | LOAD_SQUARES
  | EXPORT_SQUARES of int vector vector
  | LOAD_FILES of string