From 781bca5b717d14206517546f57d2245c36c3b3b0 Mon Sep 17 00:00:00 2001
From: Joe Marshall <jmarshall@alum.mit.edu>
Date: Tue, 9 Feb 2010 15:19:19 -0800
Subject: [PATCH] Add KNOWN-DECLARATION guarantee.

---
 src/sf/pardec.scm | 6 ++++++
 src/sf/sf.pkg     | 1 +
 2 files changed, 7 insertions(+)

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)
-- 
2.25.1