From 740dba4a535b4b380d43df08e72b8ed69c5babf0 Mon Sep 17 00:00:00 2001
From: "Peter S. Housel" <housel@acm.org>
Date: Mon, 1 Jun 2026 23:25:17 -0700
Subject: [PATCH] dfmc-c-ffi: Remove unused bootstrapped definition

With the bootstrapped definition of
<c-statically-typed-function-pointer> present, DFMC issues a warning
message about the class being open but not exported. This designator
class is not currently referenced by C-FFI definitions and can be
removed for now.

* sources/dfmc/c-ffi/c-designator-models.dylan
  (&class <C-statically-typed-function-pointer>): Comment out.

* sources/dfmc/modeling/namespaces.dylan
  (&module dylan-c-ffi-hygiene-glitches): Comment out export of
   <C-statically-typed-function-pointer>.
---
 sources/dfmc/c-ffi/c-designator-models.dylan | 2 ++
 sources/dfmc/modeling/namespaces.dylan       | 2 +-
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/sources/dfmc/c-ffi/c-designator-models.dylan b/sources/dfmc/c-ffi/c-designator-models.dylan
index ac6f4ff78a..6af339cf62 100644
--- a/sources/dfmc/c-ffi/c-designator-models.dylan
+++ b/sources/dfmc/c-ffi/c-designator-models.dylan
@@ -97,12 +97,14 @@ define concrete &class <C-function-pointer-instantiation>
     abstract-super: <C-function-pointer>;
 end &class;
 
+/*
 // need to use a new metaclass here to hold the static type
 define abstract open &class <C-statically-typed-function-pointer> (<C-function-pointer>)
   metaclass <designator-class>,
     low-level-type: <C-statically-typed-function-pointer>,
     self: <C-statically-typed-function-pointer>;
 end &class;
+*/
 
 
 define abstract &class <C-number> (<C-non-struct>)
diff --git a/sources/dfmc/modeling/namespaces.dylan b/sources/dfmc/modeling/namespaces.dylan
index 21eb4dd8dd..e3a55a6158 100644
--- a/sources/dfmc/modeling/namespaces.dylan
+++ b/sources/dfmc/modeling/namespaces.dylan
@@ -1215,7 +1215,7 @@ define &module dylan-c-ffi-hygiene-glitches
     <raw-struct-type>,
     <raw-union-type>,
     <c-callable-function>,
-    <c-statically-typed-function-pointer>,
+    //<c-statically-typed-function-pointer>,
     <c-pointer-type-class>;
 
   create