Re: better error messages through assertions

[Ricardo Wurmus]

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.

-- 
Ricardo