note to self

dev-poly-fix-201114
Matthew Butterick 4 years ago
parent 6909c1a8ed
commit a3e4abb43b

@ -53,6 +53,10 @@
;; using worker to fetch from cache is slower ;; using worker to fetch from cache is slower
#R source-paths-in #R source-paths-in
#R output-paths-in #R output-paths-in
;; 201114
;; the problem here is that poly sources might appear multiple times,
;; related to more than one output file
;; so assuming a one-to-one directory won't work.
(define source-to-output-path-table (map cons source-paths-in output-paths-in)) (define source-to-output-path-table (map cons source-paths-in output-paths-in))
(define-values (uncached-source-paths previously-cached-jobs) (define-values (uncached-source-paths previously-cached-jobs)
(for/fold ([usps null] (for/fold ([usps null]

Loading…
Cancel
Save