Remove obsolete clean-patch function.

This commit is contained in:
Tony Garnock-Jones 2016-05-15 06:11:04 -04:00
parent e7b0e15786
commit b65291e789
1 changed files with 0 additions and 6 deletions

View File

@ -107,12 +107,6 @@
(list (pattern->trie #t (at-meta ?))
(pattern->trie #t (observe (at-meta ?))))))
(define (clean-patch p)
;; TODO: this is gross. Linkage shouldn't be visible, and there
;; should be some clean way of getting rid of observe(atMeta(...))
;; and so on.
(patch-without-linkage (patch-pruned-by p stuff-to-prune)))
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
(module+ main