syndicate-lang
/
minimart-2014
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Remove silly identity-projection efficiency hack.

This commit is contained in:
Tony Garnock-Jones 2014-06-14 14:20:23 -04:00
parent 646b9b9197
commit ef4d47c67a
1 changed files with 1 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
minimart/gestalt.rkt
View File

@ -127,21 +127,13 @@
(define (compile-gestalt-projection . specs)
(compile-gestalt-projection* specs))
;; CompiledProjection
;; Represents a projection that simply captures the entirety of the
;; projected matcher; useful as an identity projection.
(define capture-everything-projection (compile-gestalt-projection (?!)))
;; Gestalt × Natural × Natural × Boolean × CompiledProjection → Matcher
;; Retrieves the Matcher within g at the given metalevel and level,
;; representing subscriptions or advertisements, projected by capture-spec.
(define (gestalt-project g metalevel level get-advertisements? capture-spec)
(define extract-matcher (if get-advertisements? cdr car))
(define l (safe-list-ref (gestalt-metalevel-ref g metalevel) level (lambda () empty-level)))
(define matcher (extract-matcher l))
(if (equal? capture-spec capture-everything-projection) ;; efficiency hack. Avoid projecting by identity
matcher
(matcher-project matcher capture-spec)))
(matcher-project (extract-matcher l) capture-spec))
;; Gestalt -> Gestalt
;; Discards the 0th metalevel, renumbering others appropriately.