Re: How does a gexp relate to a derivation?

[Ekaitz Zarraga]

> > How does a gexp relate to a derivation?
> 
> 
> The module comment of (guix gexp) says this:
> 
> --8<---------------cut here---------------start------------->8---
> 
> ;;; This module implements "G-expressions", or "gexps". Gexps are like
> ;;; S-expressions (sexps), with two differences:
> ;;;
> ;;; 1. References (un-quotations) to derivations or packages in a gexp are
> ;;; replaced by the corresponding output file name; in addition, the
> ;;; 'ungexp-native' unquote-like form allows code to explicitly refer to
> ;;; the native code of a given package, in case of cross-compilation;
> ;;;
> ;;; 2. Gexps embed information about the derivations they refer to.
> ;;;
> ;;; Gexps make it easy to write to files Scheme code that refers to store
> ;;; items, or to write Scheme code to build derivations.
> --8<---------------cut here---------------end--------------->8---
> 
> 
> 
> 
> --
> Ricardo

So, in other words, a Gexp is a quotation system that has a context: the 
current derivation. So all the expansions happen with that in mind.

Correct?