pull in new version of brolib-sml, which handles edge case for LineGap.delete

2025-10-06 22:58:09 +01:00
parent 71786a494c
commit ad92dadd34
2 changed files with 8 additions and 8 deletions
--- a/lib/brolib-sml
+++ b/lib/brolib-sml
--- a/shf-tests.mlb
+++ b/shf-tests.mlb
@@ -6,20 +6,20 @@ 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/bin-search.sml

 ann
  "allowVectorExps true"
 in
  fcore/persistent-vector.sml
 end
+fcore/search-list/dfa-gen.sml
+fcore/search-list/search-list.sml

-fcore/escape-string.sml
-fcore/bin-search.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