preparation for adding new additional threads/mailboxes (namely, the file mailbox)

2024-08-28 20:11:00 +01:00
parent fb9202248c
commit e587c6cf73
8 changed files with 59 additions and 49 deletions
--- a/message-types/draw-msg.sml
+++ b/message-types/draw-msg.sml
@@ -12,7 +12,6 @@ sig
      , dots: Real32.real vector
      }
  | CLEAR_DOTS
-  | NO_DRAW
 end

 structure DrawMessage :> DRAW_MESSAGE =
@@ -29,5 +28,4 @@ struct
      , dots: Real32.real vector
      }
  | CLEAR_DOTS
-  | NO_DRAW
 end