fix all remaining type errors

2025-09-29 15:06:33 +01:00
parent fd321c2f14
commit 665497cf46
4 changed files with 7 additions and 8 deletions
--- a/shf.mlb
+++ b/shf.mlb
@@ -6,11 +6,6 @@ lib/brolib-sml/src/gap_set.sml
 lib/cozette-sml/fonts-with-z-index/cozette-ascii.mlb

 (* FUNCTIONAL CORE *)
-message-types/input-msg.sml
-message-types/draw-msg.sml
-message-types/search-msg.sml
-message-types/mailbox-type.sml
-
 fcore/escape-string.sml
 fcore/bin-search.sml

@@ -22,6 +17,11 @@ end
 fcore/search-list/nfa.sml
 fcore/search-list.sml

+message-types/input-msg.sml
+message-types/draw-msg.sml
+message-types/search-msg.sml
+message-types/mailbox-type.sml
+
 fcore/app-type.sml
 fcore/normal-mode/normal-mode-with.sml
 fcore/normal-mode/normal-search-mode-with.sml