humza/sml-projects
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Files
e51c18166e209302f329ed3c074f96075351a95a
sml-projects/message-types/mailbox-type.sml

3 lines
90 B
Standard ML
Raw Normal View History

use concurrency for rebuilding search list after deletion so we don't block main thread on very, very large files
2025-08-07 12:20:57 +01:00
structure MailboxType =
done merging draw thread with update thread
2025-09-10 01:41:59 +01:00
struct datatype t = DRAW of DrawMsg.t | SEARCH of SearchMsg.t end
Reference in New Issue Copy Permalink