# GNU Guix --- Functional package management for GNU
# Copyright © 2020, 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 the 'guix git authenticate' command-line utility.
#

# Skip if we're not in a Git checkout.
[ -d "$abs_top_srcdir/.git" ] || exit 77

# Skip if there's no 'keyring' branch.
guile -c '(use-modules (git))
  (member "refs/heads/keyring" (branch-list (repository-open ".")))' || \
    exit 77

# Keep in sync with '%default-channels' in (guix channels)!
intro_commit="9edb3f66fd807b096b48283debdcddccfea34bad"
intro_signer="BBB0 2DDF 2CEA F6A8 0D1D  E643 A2A0 6DF2 A33A 54FA"

cache_key="test-$$"

# This must fail because the end commit is not a descendant of $intro_commit.
guix git authenticate "$intro_commit" "$intro_signer"	\
     --cache-key="$cache_key" --stats			\
     --end=9549f0283a78fe36f2d4ff2a04ef8ad6b0c02604 && false

# The v1.2.0 commit is a descendant of $intro_commit and it satisfies the
# authorization invariant.
v1_2_0_commit="a099685659b4bfa6b3218f84953cbb7ff9e88063"
guix git authenticate "$intro_commit" "$intro_signer"	\
     --cache-key="$cache_key" --stats			\
     --end="$v1_2_0_commit"

rm "$XDG_CACHE_HOME/guix/authentication/$cache_key"

# Commit and signer of the 'v1.0.0' tag.
v1_0_0_commit="6298c3ffd9654d3231a6f25390b056483e8f407c"
v1_0_0_signer="3CE4 6455 8A84 FDC6 9DB4  0CFB 090B 1199 3D9A EBB5" # civodul
v1_0_1_commit="d68de958b60426798ed62797ff7c96c327a672ac"

# This should succeed because v1.0.0 is an ancestor of $intro_commit.
guix git authenticate "$intro_commit" "$intro_signer"	\
     --cache-key="$cache_key" --stats			\
     --end="$v1_0_0_commit"

# This should fail because these commits lack '.guix-authorizations'.
guix git authenticate "$v1_0_0_commit" "$v1_0_0_signer" \
       --cache-key="$cache_key" --end="$v1_0_1_commit" && false

# This should work thanks to '--historical-authorizations'.
guix git authenticate "$v1_0_0_commit" "$v1_0_0_signer" 	\
     --cache-key="$cache_key" --end="$v1_0_1_commit" --stats	\
     --historical-authorizations="$abs_top_srcdir/etc/historical-authorizations"
nitizers.</a><span class='msg-avail'>...<span class='msg-tooltip'>* 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.
</span></span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2021-04-29 01:22:04 +0200'>2021-04-29</span></td><td><a href='/guix/commit/tests/records.scm?id=524c9800afb433cc474132185d8e37f72004adb3'>diagnostics, ui: Adjust to 'read-error' and 'syntax-error' in Guile 3.0.6.</a><span class='msg-avail'>...<span class='msg-tooltip'>* 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.
</span></span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2020-01-16 18:30:57 +0100'>2020-01-16</span></td><td><a href='/guix/commit/tests/records.scm?id=47212fc763788660ff9051ccee1f6fa8a0db7bdd'>records: Improve reporting of "invalid field specifier" errors.</a><span class='msg-avail'>...<span class='msg-tooltip'>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.
</span></span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2019-03-30 11:08:39 +0100'>2019-03-30</span></td><td><a href='/guix/commit/tests/records.scm?id=d2be7e3c4ba8d6d0dde9b4c0bff623ab85637424'>records: Support custom 'this' identifiers.</a><span class='msg-avail'>...<span class='msg-tooltip'>This lets record users choose an identifier other than 'this-record'.

* guix/records.scm (make-syntactic-constructor): Add #:this-identifier.
[wrap-field-value]: Honor it.
(define-record-type*): Add form with extra THIS-IDENTIFIER and honor
it.
* tests/records.scm ("define-record-type* &amp; thunked &amp; inherit &amp; custom this"):
New test.
</span></span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2019-03-25 23:37:06 +0100'>2019-03-25</span></td><td><a href='/guix/commit/tests/records.scm?id=abd4d6b33dba4de228e90ad15a8efb456fcf7b6e'>records: Allow thunked fields to refer to 'this-record'.</a><span class='msg-avail'>...<span class='msg-tooltip'>* guix/records.scm (this-record): New syntax parameter.
(make-syntactic-constructor)[wrap-field-value]: When F is thunked,
return a one-argument lambda instead of a thunk, and parameterize
THIS-RECORD.
(define-record-type*)[thunked-field-accessor-definition]: Pass X
to (real-get X).
* tests/records.scm ("define-record-type* &amp; thunked &amp; this-record")
("define-record-type* &amp; thunked &amp; default &amp; this-record")
("define-record-type* &amp; thunked &amp; inherit &amp; this-record"): New tests.
</span></span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2019-01-22 23:04:05 +0100'>2019-01-22</span></td><td><a href='/guix/commit/tests/records.scm?id=c2dcff41c2e47f5f978f467864d5ed7829939884'>records: Detect duplicate field initializers.</a><span class='msg-avail'>...<span class='msg-tooltip'>* guix/records.scm (report-duplicate-field-specifier): New procedure.
(make-syntactic-constructor): Call it.
* tests/records.scm ("define-record-type* &amp; duplicate initializers"):
New test.

Co-authored-by: Mark H Weaver &lt;mhw@netris.org&gt;
</span></span></td><td>Ludovic Courtès</td></tr>