From 504b5309f43ab217d3dd0e41f06ebfc139bb00c0 Mon Sep 17 00:00:00 2001 From: Humza Shahid Date: Fri, 24 Apr 2026 01:28:10 +0100 Subject: [PATCH] extract dfa generator to a separate file in repository root, so that it could be reused --- {shf/fcore/search-list => dfa-gen}/dfa-gen.sml | 0 shf/fcore.mlb | 4 ++-- shf/fcore/{ => search-list}/persistent-vector.sml | 0 3 files changed, 2 insertions(+), 2 deletions(-) rename {shf/fcore/search-list => dfa-gen}/dfa-gen.sml (100%) rename shf/fcore/{ => search-list}/persistent-vector.sml (100%) diff --git a/shf/fcore/search-list/dfa-gen.sml b/dfa-gen/dfa-gen.sml similarity index 100% rename from shf/fcore/search-list/dfa-gen.sml rename to dfa-gen/dfa-gen.sml diff --git a/shf/fcore.mlb b/shf/fcore.mlb index d6d5982..2d4952b 100644 --- a/shf/fcore.mlb +++ b/shf/fcore.mlb @@ -3,6 +3,7 @@ $(SML_LIB)/basis/basis.mlb (* LIBRARIES (purely functional) *) ../brolib-sml/src/line_gap.sml ../cozette-sml/fonts-with-z-index/cozette-ascii.mlb +../dfa-gen/dfa-gen.sml (* FUNCTIONAL CORE *) fcore/bin-search.sml @@ -10,9 +11,8 @@ fcore/bin-search.sml ann "allowVectorExps true" in - fcore/persistent-vector.sml + fcore/search-list/persistent-vector.sml end -fcore/search-list/dfa-gen.sml fcore/search-list/search-list.sml message-types/input-msg.sml diff --git a/shf/fcore/persistent-vector.sml b/shf/fcore/search-list/persistent-vector.sml similarity index 100% rename from shf/fcore/persistent-vector.sml rename to shf/fcore/search-list/persistent-vector.sml