tests: Augment profile collision test.

* tests/profiles.scm ("collision of propagated inputs"): Check the
parents of ENTRY1 and ENTRY2.
This commit is contained in:
Ludovic Courtès 2022-05-31 14:38:23 +02:00
parent bf7e07d299
commit 9b8c442b25
No known key found for this signature in database
GPG Key ID: 090B11993D9AEBB5

View File

@ -556,14 +556,20 @@
(return #f)))))
(test-equal "collision of propagated inputs"
'(("guile-bootstrap" "2.0") ("guile-bootstrap" "42"))
'(("guile-bootstrap" "2.0") "p1"
<> ("guile-bootstrap" "42") "p2")
(guard (c ((profile-collision-error? c)
(let ((entry1 (profile-collision-error-entry c))
(entry2 (profile-collision-error-conflict c)))
(list (list (manifest-entry-name entry1)
(manifest-entry-version entry1))
(manifest-entry-name
(force (manifest-entry-parent entry1)))
'<>
(list (manifest-entry-name entry2)
(manifest-entry-version entry2))))))
(manifest-entry-version entry2))
(manifest-entry-name
(force (manifest-entry-parent entry2)))))))
(run-with-store %store
(mlet* %store-monad ((p0 -> (package
(inherit %bootstrap-guile)