Add KNOWN-DECLARATION guarantee.

diff --git a/src/sf/pardec.scm b/src/sf/pardec.scm
index 5b2694b8f4363d0c58a857b7c682b802b77a556a..35158a8b70d7705b2e990218c5e59edf7753d329 100644 (file)
--- a/src/sf/pardec.scm
+++ b/src/sf/pardec.scm
@@ -154,6 +154,12 @@ USA.
 
 (define known-declarations
   '())
+
+(define (known-declaration? operation)
+  (or (eq? operation 'EXPAND) ; this one is special 
+      (assq operation known-declarations)))
+
+(define-guarantee known-declaration "known declaration")
 \f
 ;;;; Integration Declarations
 

diff --git a/src/sf/sf.pkg b/src/sf/sf.pkg
index 1e05367d7fabca3a7405533189f77de58f14d63b..3c5c05beee1b1a2f87e092c2ac3b4abde4afbec7 100644 (file)
--- a/src/sf/sf.pkg
+++ b/src/sf/sf.pkg
@@ -113,6 +113,7 @@ USA.
          declarations/map
          declarations/original
          declarations/parse
+         guarantee-known-declaration
          operations->external))
 
 (define-package (scode-optimizer copy)