You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
We track the "roots" in our grammar -- those productions that aren't
used in any other production. We want to report when a new root
appears or when something that's expected to be a root no longer is
one. However, we were reporting the latter case as the former instead
of reporting it separately as intended. Let's fix that.
0 commit comments