[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Sanitizer of record fields?
From: |
zimoun |
Subject: |
Sanitizer of record fields? |
Date: |
Thu, 08 Sep 2022 09:59:15 +0200 |
Hi,
The website is currently failing [1] to build because a typo in some
package declaration. The error message is not very helpful,
srfi/srfi-1.scm:241:2: In procedure map:
In procedure map: Wrong type argument: "https://www.qt.io/"
building pages in '/tmp/gnu.org/software/guix'...
and it was not straightforward to find the issue. Using some ’pk’ in
the website builder restricted the origin of the failure; but still.
Thanks to Florian, they found this commit [2] introducing the package
qtshadertools where a field is unexpected,
+ (license (package-home-page qtbase))))
and boum!
It seems impossible to detect that typo at compile-time because fields
do not have a specific type (except by convention). Therefore, how can
we detect such typo?
We could add a lint checker. Is it a “good” idea?
Because lint is not always applied, a check should be done when running
’make’ or a special target. Is it a “good” idea?
1: <http://issues.guix.gnu.org/issue/57581>
2:
<https://git.savannah.gnu.org/cgit/guix.git/diff/?id=1d65ff8fdeb20cc2db956093f0ecb1f3f72afc0e>
Cheers,
simon
- Sanitizer of record fields?,
zimoun <=