From: Joe Marshall <jmarshall@alum.mit.edu>
Date: Tue, 9 Feb 2010 23:19:19 +0000 (-0800)
Subject: Add KNOWN-DECLARATION guarantee.
X-Git-Tag: 20100708-Gtk~168^2~15
X-Git-Url: https://birchwood-abbey.net/git?a=commitdiff_plain;h=781bca5b717d14206517546f57d2245c36c3b3b0;p=mit-scheme.git

Add KNOWN-DECLARATION guarantee.
---

diff --git a/src/sf/pardec.scm b/src/sf/pardec.scm
index 5b2694b8f..35158a8b7 100644
--- 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")
 
 ;;;; Integration Declarations
 
diff --git a/src/sf/sf.pkg b/src/sf/sf.pkg
index 1e05367d7..3c5c05bee 100644
--- 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)