Consensys / corset

15 stars 13 forks source link

FR: give more context (perspective) in corset check errors output #172

Open letypequividelespoubelles opened 5 months ago

letypequividelespoubelles commented 5 months ago

When we get this kind of error (see screenshot), it would be nice that corset tells us in which perspective we are.

image

DavePearce commented 5 months ago

Hey @letypequividelespoubelles, hmmmmmm basically its a data validation problem. I suppose it could perhaps report which selector(s) are true at this point in the trace. I'm not sure how easy it will be to set that up though.

OlivierBBB commented 5 months ago

I guess one simple (?) fix would be to systematically display all perspective columns in that case identified either in the .lisp column definitions or as the selector columns for perspective column definitions. There are very few of them and they don't change, so identifying them ahead directly in the lisp is trivial. Not sure how trivial it is to then display them, too, in these error messages.