wingo pushed a commit to branch wip-whippet
in repository guile.
commit 5903ca38dda3bfe1780411f578a700892ef199c1
Merge: 178868953 0ba9f6862
Author: Andy Wingo <[email protected]>
AuthorDate: Tue Aug 5 09:22:45 2025 +0200
Merge remote-tracking branch 'whippet/main' into wip-whippet
libguile/whippet/src/nofl-holeset.h | 191 ++++++++++++++++++++++++++++++++++++
libguile/whippet/src/nofl-space.h | 63 ++++++++++--
2 files changed, 245 insertions(+), 9 deletions(-)
diff --cc libguile/whippet/src/nofl-holeset.h
index 000000000,6a3cfda9f..6a3cfda9f
mode 000000,100644..100644
--- a/libguile/whippet/src/nofl-holeset.h
+++ b/libguile/whippet/src/nofl-holeset.h
