Re: Sanitizer of record fields?

[Ludovic Courtès]

Hi,

zimoun <zimon.toutoune@gmail.com> skribis:

> 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?

I’m late to the party, but I have a proposal:

  https://issues.guix.gnu.org/58231

Hope you like it!

Ludo’.