gexp: Add identity compiler for derivations.

* guix/gexp.scm (derivation-compiler): New procedure.
  (lower-inputs): Remove 'derivation?' case.
  (gexp-inputs)[add-reference-inputs]: Likewise.
  (gexp->sexp)[reference->sexp]: Likewise.
This commit is contained in:
Ludovic Courtès 2015-03-21 23:13:02 +01:00
parent a9a8f0637d
commit 2924f0d6ce

View file

@ -127,6 +127,12 @@ (define name
body ...)))
(register-compiler! name)))
(define-gexp-compiler (derivation-compiler (drv derivation?) system target)
;; Derivations are the lowest-level representation, so this is the identity
;; compiler.
(with-monad %store-monad
(return drv)))
;;;
;;; Inputs & outputs.
@ -165,8 +171,6 @@ (define* (lower-inputs inputs
(with-monad %store-monad
(sequence %store-monad
(map (match-lambda
((and ((? derivation?) sub-drv ...) input)
(return input))
((and ((? struct? thing) sub-drv ...) input)
(mlet* %store-monad ((lower -> (lookup-compiler thing))
(drv (lower thing system target)))
@ -262,6 +266,7 @@ (define outputs (gexp-outputs exp))
(define (graphs-file-names graphs)
;; Return a list of (FILE-NAME . STORE-PATH) pairs made from GRAPHS.
(map (match-lambda
;; TODO: Remove 'derivation?' special cases.
((file-name (? derivation? drv))
(cons file-name (derivation->output-path drv)))
((file-name (? derivation? drv) sub-drv)
@ -348,8 +353,6 @@ (define* (gexp-inputs exp #:optional (references gexp-references))
references."
(define (add-reference-inputs ref result)
(match ref
(($ <gexp-input> (? derivation? drv) output)
(cons `(,drv ,output) result))
(($ <gexp-input> (? gexp? exp))
(append (gexp-inputs exp references) result))
(($ <gexp-input> (? string? str))
@ -411,8 +414,6 @@ (define* (gexp->sexp exp #:key
(define* (reference->sexp ref #:optional native?)
(with-monad %store-monad
(match ref
(($ <gexp-input> (? derivation? drv) output)
(return (derivation->output-path drv output)))
(($ <gexp-output> output)
;; Output file names are not known in advance but the daemon defines
;; an environment variable for each of them at build time, so use