remove some opaque signature ascriptions

2025-04-22 20:49:56 +01:00
parent e59a1c67d8
commit aa068ea48e
3 changed files with 3 additions and 23 deletions
--- a/message-types/draw-msg.sml
+++ b/message-types/draw-msg.sml
@@ -1,13 +1,4 @@
-signature DRAW_MSG =
-sig
-  datatype t =
-    REDRAW_TEXT of Real32.real vector
-  | REDRAW_CURSOR of Real32.real vector
-  | REDRAW_BG of Real32.real vector
-  | YANK of string
-end
-
-structure DrawMsg :> DRAW_MSG =
+structure DrawMsg =
 struct
  datatype t =
    REDRAW_TEXT of Real32.real vector