|
|
|
@ -14,7 +14,7 @@
|
|
|
|
;; seems like it would be slow to load cache.rktd but it's not.
|
|
|
|
;; seems like it would be slow to load cache.rktd but it's not.
|
|
|
|
(define-values (_ private-cache-dir) (make-cache-dirs path))
|
|
|
|
(define-values (_ private-cache-dir) (make-cache-dirs path))
|
|
|
|
(define cache-db-file (build-path private-cache-dir "cache.rktd"))
|
|
|
|
(define cache-db-file (build-path private-cache-dir "cache.rktd"))
|
|
|
|
(or (file-exists? cache-db-file)
|
|
|
|
(and (file-exists? cache-db-file)
|
|
|
|
(hash-has-key? (file->value cache-db-file) (paths->key path))))
|
|
|
|
(hash-has-key? (file->value cache-db-file) (paths->key path))))
|
|
|
|
|
|
|
|
|
|
|
|
;; compile a path inside a place (= parallel processing)
|
|
|
|
;; compile a path inside a place (= parallel processing)
|
|
|
|
|
