New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

I guess this TODO can be ignored. It indicates suboptimal behavior for programs like #10

Open

maxdekrieger opened this issue Jun 24, 2022 · 1 comment

Member

maxdekrieger commented Jun 24, 2022

I guess this TODO can be ignored. It indicates suboptimal behavior for programs like

entity A {
  x: Int
  x: String
}

where an irrelevant change is made.

Originally posted by @AZWN in #7 (comment)

The text was updated successfully, but these errors were encountered:

Contributor

AZWN commented Jun 24, 2022

With 'ignored', I meant ignored for the PR. Eventually, it should be fixed.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment