How to have `sorry` trigger a build failure?

Stream: new members

[Nehal Patel]

Is there way to have lake build error on sorries? I know about --Wfail, but that it too strong; I am looking for something that only errors on sorry (or actual build errors).

thank you! nehal