raco setup: ignore prefetch message for PLaneT paths

A "prefetch" message is an attempt to trigger parallel builds for
multiple requires in a module. It doesn't work right with `(planet
...)` paths, probably because it doesn't work right with loading
`planet/resolver`.
This commit is contained in:
Matthew Flatt 2015-04-03 21:05:10 -05:00
parent f9ffdeeb20
commit af1b96849c

View File

@ -370,6 +370,7 @@
(andmap module-path? (car l)))
(define dir (cadr l))
(define (quote? p) (and (pair? p) (eq? (car p) 'quote)))
(define (planet? p) (and (pair? p) (eq? (car p) 'planet)))
(define (submod? p) (and (pair? p) (eq? (car p) 'submod)))
;; Add prefetch modules to work queue --- but skip the first one,
;; because it's going to be compiled immediately, anyway:
@ -379,6 +380,10 @@
(and (submod? p) (quote? (cadr p))))
;; skip `quote` module paths
prev]
[(or (planet? p)
(and (submod? p) (planet? (cadr p))))
;; skip `quote` module paths
prev]
[else
(when prev
(define path