From 0cfa2bfe164224ce051b31b1aca09f9d46284667 Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonygarnockjones@gmail.com>
Date: Mon, 19 May 2014 18:59:05 -0400
Subject: [PATCH] gestalt-project->finite-set -> gestalt-project-key-set

---
 minimart/core.rkt    | 2 +-
 minimart/gestalt.rkt | 6 +++---
 minimart/ground.rkt  | 2 +-
 3 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/minimart/core.rkt b/minimart/core.rkt
index 1f2e90d..46ab9ed 100644
--- a/minimart/core.rkt
+++ b/minimart/core.rkt
@@ -30,7 +30,7 @@
 	 gestalt-ref
 	 compile-gestalt-projection
 	 gestalt-project
-	 gestalt-project->finite-set
+	 gestalt-project-key-set
 	 pretty-print-gestalt
 
 	 spawn
diff --git a/minimart/gestalt.rkt b/minimart/gestalt.rkt
index a958a99..439a70e 100644
--- a/minimart/gestalt.rkt
+++ b/minimart/gestalt.rkt
@@ -10,7 +10,7 @@
 	 gestalt-ref
 	 compile-gestalt-projection
 	 gestalt-project
-	 gestalt-project->finite-set
+	 gestalt-project-key-set
 	 drop-gestalt
 	 lift-gestalt
 	 simple-gestalt
@@ -72,8 +72,8 @@
 (define (gestalt-project g metalevel level get-advertisements? capture-spec)
   (matcher-project (gestalt-ref g metalevel level get-advertisements?) capture-spec))
 
-(define (gestalt-project->finite-set g metalevel level get-advertisements? capture-spec)
-  (matcher->finite-set (gestalt-project g metalevel level get-advertisements? capture-spec)))
+(define (gestalt-project-key-set g metalevel level get-advertisements? capture-spec)
+  (matcher-key-set (gestalt-project g metalevel level get-advertisements? capture-spec)))
 
 (define (drop-gestalt g)
   (match-define (gestalt metalevels) g)
diff --git a/minimart/ground.rkt b/minimart/ground.rkt
index d41aacd..e009a06 100644
--- a/minimart/ground.rkt
+++ b/minimart/ground.rkt
@@ -16,7 +16,7 @@
 (define event-projection (compile-gestalt-projection (event ?! ?)))
 
 (define (extract-active-events gestalt)
-  (define es (gestalt-project->finite-set gestalt 0 0 #f event-projection))
+  (define es (gestalt-project-key-set gestalt 0 0 #f event-projection))
   ;; TODO: how should the following error be handled, ideally?
   ;; In principle, security restrictions should make it impossible.
   ;; But absent those, what should be done? Should an offending