From 95a07bcd92b151bdb5d530bb7d18560675dd19ce Mon Sep 17 00:00:00 2001 From: Humza Shahid Date: Wed, 10 Sep 2025 01:44:25 +0100 Subject: [PATCH] rename 'UpdateThread' structure to 'Updater', because it is no longer a separate thread --- shell/gl-draw.sml | 2 +- shell/{update-thread.sml => updater.sml} | 3 +-- shf.mlb | 2 +- 3 files changed, 3 insertions(+), 4 deletions(-) rename shell/{update-thread.sml => updater.sml} (94%) diff --git a/shell/gl-draw.sml b/shell/gl-draw.sml index 017b919..7c2aff4 100644 --- a/shell/gl-draw.sml +++ b/shell/gl-draw.sml @@ -265,7 +265,7 @@ struct else let val msg = Vector.sub (msgVec, pos) - val app = UpdateThread.update (app, msg) + val app = Updater.update (app, msg) in updateLoop (pos + 1, msgVec, app) end diff --git a/shell/update-thread.sml b/shell/updater.sml similarity index 94% rename from shell/update-thread.sml rename to shell/updater.sml index 4baf313..56b1bcd 100644 --- a/shell/update-thread.sml +++ b/shell/updater.sml @@ -1,6 +1,5 @@ -structure UpdateThread = +structure Updater = struct - open CML open MailboxType open InputMsg diff --git a/shf.mlb b/shf.mlb index 9de3ae1..e9b1a5d 100644 --- a/shf.mlb +++ b/shf.mlb @@ -78,7 +78,7 @@ shell/search-mailbox.sml shell/exception-logger.sml shell/search-thread.sml -shell/update-thread.sml +shell/updater.sml shell/gl-shaders.sml shell/gl-draw.sml shell/shell.sml