gestalt-intersect is probably not useful as an API

minimart/core.rkt

@@ -25,7 +25,7 @@
 	 pub
 	 gestalt-empty
 	 gestalt-union
-	 gestalt-intersect
+	 gestalt-filter
 	 gestalt-empty?
 	 gestalt-ref
 	 compile-gestalt-projection

minimart/examples/example-lang.rkt

@@ -34,7 +34,7 @@
      (printf "REF:")
      (pretty-print-matcher (gestalt-ref g 0 0 #f) #:indent 4)
      (printf "INTERSECTED:\n")
-     (pretty-print-gestalt (gestalt-intersect g (sub (set-timer ? ? ?))))
+     (pretty-print-gestalt (gestalt-filter g (pub (set-timer ? ? ?) #:level 1)))
      #f]
     [(message (timer-expired 'tick now) _ _)
      (printf "TICK ~v\n" now)

minimart/examples/example-plain.rkt

@@ -30,7 +30,7 @@
      (printf "REF:")
      (pretty-print-matcher (gestalt-ref g 0 0 #f) #:indent 4)
      (printf "INTERSECTED:\n")
-     (pretty-print-gestalt (gestalt-intersect g (sub (set-timer ? ? ?))))
+     (pretty-print-gestalt (gestalt-filter g (pub (set-timer ? ? ?) #:level 1)))
      #f]
     [(message (timer-expired 'tick now) _ _)
      (printf "TICK ~v\n" now)

minimart/gestalt.rkt

@@ -20,7 +20,6 @@
 	 gestalt-combine-straight
 	 gestalt-combine-crossed
 	 gestalt-union
-	 gestalt-intersect
 	 gestalt-filter
 	 gestalt-match
 	 strip-gestalt-label
@@ -141,10 +140,6 @@
 	  [(list g) g]
 	  [(cons g rest) (gestalt-union1 g (walk rest))]))))
 
-(define (gestalt-intersect g1 g2) (gestalt-combine-straight g1 g2
-							    (lambda (side x) '())
-							    matcher-intersect))
-
 ;; View on g1 from g2's perspective.
 ;; Drops a level from g2 and intersects crossed.
 (define (gestalt-filter g1 g2)