Closed zenparsing closed 6 years ago
My question is more, why is the second not an early error :-/
This is to leave room for a proposal from @erights, see https://github.com/erights/Orthogonal-Classes/commit/93bd1c4a19acd3155b62b6f27e94f9ef98a13a11
Got it. Thanks!
There is an early error for the following case:
But there is no existing early error for this:
Why is the first an early error?