# GNU Guix --- Functional package management for GNU
# Copyright © 2022 Ludovic Courtès <ludo@gnu.org>
#
# This file is part of GNU Guix.
#
# GNU Guix is free software; you can redistribute it and/or modify it
# under the terms of the GNU General Public License as published by
# the Free Software Foundation; either version 3 of the License, or (at
# your option) any later version.
#
# GNU Guix is distributed in the hope that it will be useful, but
# WITHOUT ANY WARRANTY; without even the implied warranty of
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
# GNU General Public License for more details.
#
# You should have received a copy of the GNU General Public License
# along with GNU Guix.  If not, see <http://www.gnu.org/licenses/>.

#
# Test 'guix shell --export-manifest'.
#

guix shell --version

tmpdir="t-guix-manifest-$$"
trap 'rm -r "$tmpdir"' EXIT
mkdir "$tmpdir"

manifest="$tmpdir/manifest.scm"

# Basics.
guix shell --export-manifest guile-bootstrap > "$manifest"
test "$(guix build -m "$manifest")" = "$(guix build guile-bootstrap)"

guix shell -m "$manifest" --bootstrap -- \
     "$SHELL" -c 'guix package --export-manifest -p "$GUIX_ENVIRONMENT"' > \
     "$manifest.second"
for m in "$manifest" "$manifest.second"
do
    grep -v '^;' < "$m" > "$m.new" # filter out comments
    mv "$m.new" "$m"
done

cat "$manifest"
cat "$manifest.second"

cmp "$manifest" "$manifest.second"

# Manifest for a profile.
guix shell --bootstrap guile-bootstrap -r "$tmpdir/profile" -- \
     guile --version
test -x "$tmpdir/profile/bin/guile"
guix shell -p "$tmpdir/profile" --export-manifest > "$manifest.second"
guix shell --export-manifest guile-bootstrap > "$manifest"
cat "$manifest.second"
cmp "$manifest" "$manifest.second"

rm "$tmpdir/profile"

# Combining manifests.
guix shell --export-manifest -m "$manifest" gash gash-utils \
     > "$manifest.second"
guix build -m "$manifest.second" -d | \
    grep "$(guix build guile-bootstrap -d)"
guix build -m "$manifest.second" -d | \
    grep "$(guix build gash -d)"

# Package transformation option.
guix shell --export-manifest guile guix \
     --with-input=guile-json@3=guile-json > "$manifest"
grep 'options->transformation' "$manifest"
grep '(with-input . "guile-json@3=guile-json")' "$manifest"

# Development manifest.
guix shell --export-manifest -D guile git > "$manifest"
grep 'package->development-manifest' "$manifest"
grep '"guile"' "$manifest"
guix build -m "$manifest" -d | \
    grep "$(guix build -e '(@@ (gnu packages commencement) gcc-final)' -d)"
guix build -m "$manifest" -d | \
    grep "$(guix build git -d)"

guix shell --export-manifest -D guile -D python-itsdangerous > "$manifest"
guix build -m "$manifest" -d | grep "$(guix build libffi -d)"
guix build -m "$manifest" -d | \
    grep "$(guix build -e '(@ (gnu packages python) python)' -d)"

# Test various combinations to make sure generated code uses interfaces
# correctly.
for options in					\
    "coreutils grep sed"			\
    "gsl openblas gcc-toolchain --tune"		\
    "guile -m $manifest.previous"		\
    "git:send-email gdb guile:debug"		\
    "git -D coreutils"
do
    guix shell --export-manifest $options > "$manifest"
    cat "$manifest"
    guix shell -m "$manifest" -n
    mv "$manifest" "$manifest.previous"
done
case for the
new syntax.

Signed-off-by: Ludovic Courtès &lt;ludo@gnu.org&gt;


</td></tr>
<tr class='logheader'><td><span title='2022-12-02 00:02:12 +0100'>2022-12-02</span></td><td class='logsubject'><a href='/guix/commit/tests/records.scm?id=7c1161dba4c8930d3a500a72ccaaaf50df73f466'>records: 'match-record' checks fields at macro-expansion time.</a></td><td>Ludovic Courtès</td></tr>
<tr class='nohover-highlight'><td/><td colspan='3' class='logmsg'>
This allows 'match-record' to be more efficient (field offsets are
computed at compilation time) and to report unknown fields at
macro-expansion time.

* guix/records.scm (map-fields): New macro.
(define-record-type*)[rtd-identifier]: New procedure.
Define TYPE as a macro and use a separate identifier for the RTD.
(lookup-field, match-record-inner): New macros.
(match-record): Rewrite in terms of 'match-error-inner'.
* tests/records.scm ("match-record, simple")
("match-record, unknown field"): New tests.
* gnu/services/cuirass.scm (cuirass-shepherd-service): Rename 'log-file'
local variable to 'main-log-file'.
* gnu/services/getmail.scm (serialize-getmail-configuration-file): Move
after &lt;getmail-configuration-file&gt; definition.


</td></tr>
<tr class='logheader'><td><span title='2022-07-01 12:10:29 +0200'>2022-07-01</span></td><td class='logsubject'><a href='/guix/commit/tests/records.scm?id=741895676b124a8a9a6656a54b5b58fd35d8e0f9'>tests: Add sanitizer test.</a></td><td>Ludovic Courtès</td></tr>
<tr class='nohover-highlight'><td/><td colspan='3' class='logmsg'>
* tests/records.scm ("define-record-type* &amp; sanitize without default
value"): New test.


</td></tr>
<tr class='logheader'><td><span title='2021-08-12 12:34:13 +0200'>2021-08-12</span></td><td class='logsubject'><a href='/guix/commit/tests/records.scm?id=5291fd7a4205394b863a8705b32fbb447321dc60'>records: Support field sanitizers.</a></td><td>Ludovic Courtès</td></tr>
<tr class='nohover-highlight'><td/><td colspan='3' class='logmsg'>
* guix/records.scm (make-syntactic-constructor): Add #:sanitizers.
[field-sanitizer]: New procedure.
[wrap-field-value]: Honor F's sanitizer.
(define-record-type*)[field-sanitizer]: New procedure.
Pass #:sanitizer to 'make-syntactic-constructor'.
* tests/records.scm ("define-record-type* &amp; sanitize")
("define-record-type* &amp; sanitize &amp; thunked"): New tests.


</td></tr>
<tr class='logheader'><td><span title='2021-04-29 01:22:04 +0200'>2021-04-29</span></td><td class='logsubject'><a href='/guix/commit/tests/records.scm?id=524c9800afb433cc474132185d8e37f72004adb3'>diagnostics, ui: Adjust to 'read-error' and 'syntax-error' in Guile 3.0.6.</a></td><td>Ludovic Courtès</td></tr>
<tr class='nohover-highlight'><td/><td colspan='3' class='logmsg'>
* guix/diagnostics.scm (source-properties-&gt;location): Add clause for
vectors.
* guix/ui.scm (report-load-error): Tweak 'read-error' handling for 3.0.6.
* tests/guix-package.sh: Relax regexp for the "unbound variable"
diagnostic check.
* tests/guix-system.sh: Adjust "missing closing paren" check for 3.0.6.
* tests/records.scm (location-alist): New procedure.
("define-record-type* &amp; wrong field specifier")
("define-record-type* &amp; wrong field specifier, identifier")
("define-record-type* &amp; duplicate initializers"): Use it.


</td></tr>
<tr class='logheader'><td><span title='2020-01-16 18:30:57 +0100'>2020-01-16</span></td><td class='logsubject'><a href='/guix/commit/tests/records.scm?id=47212fc763788660ff9051ccee1f6fa8a0db7bdd'>records: Improve reporting of "invalid field specifier" errors.</a></td><td>Ludovic Courtès</td></tr>
<tr class='nohover-highlight'><td/><td colspan='3' class='logmsg'>
Previously users would just see:

  error: invalid field specifier

without source location or hints.

* guix/records.scm (expand): Add optional 'parent-form' parameter and
pass it to 'syntax-violation' when it is true.
(make-syntactic-constructor): Pass S as a third argument to
'report-invalid-field-specifier'.
* guix/ui.scm (report-load-error): For 'syntax-error', show SUBFORM or
FORM in the message.
* tests/records.scm ("define-record-type* &amp; wrong field specifier"): Add
a 'subform' parameter and adjust test accordingly.
("define-record-type* &amp; wrong field specifier, identifier"): New test.
* tests/guix-system.sh: Add test.


</td></tr>