Re: better error messages through assertions

[Maxim Cournoyer]

Hi Ricardo,

Ricardo Wurmus <rekado@elephly.net> writes:

> Maxim Cournoyer <maxim.cournoyer@gmail.com> writes:
>
>> I hear we now have "field sanitizers" on Guix records; without having
>> dug the details, it seems to be we could add a predicate validating the
>> input there?
>
> I don’t see how that would help here.  In my example the service values
> themselves are all right.  It’s a procedure acting on what it assumes is
> a list of service values that fails.
>
> Record field validation would not have prevented that error.

Thanks for explaining.  For what it's worth, what you are proposing
seems a sound improvement to me, so feel free to go ahead with patches!

Thanks,

Maxim