Sanitizer of record fields?

[zimoun]

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