add grid module, and change some functions in layer-tree.sml to use it instead of having grid-logic in there

2025-08-09 08:43:51 +01:00
parent 6cd2b85d8b
commit e634bb25d7
4 changed files with 28 additions and 25 deletions
--- a/dotscape.mlb
+++ b/dotscape.mlb
@@ -1,6 +1,7 @@
 $(SML_LIB)/basis/basis.mlb

 (* FUNCTIONAL CORE *)
+fcore/grid.sml
 fcore/layer-tree.sml
 fcore/app-type.sml