Closed dpk closed 3 months ago
Arguably the name and pred should be independent of one another, but that would require rewriting test-error as an explicit renaming macro in order to be able to type check the name (and assume it must be a string) and thus lose portability.
name
pred
test-error
Arguably the
nameandpredshould be independent of one another, but that would require rewritingtest-erroras an explicit renaming macro in order to be able to type check thename(and assume it must be a string) and thus lose portability.