Skip to content

catch missing ^ references #13

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.

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

Open
yegor256 opened this issue Nov 19, 2024 · 10 comments · May be fixed by #450
Open

catch missing ^ references #13

yegor256 opened this issue Nov 19, 2024 · 10 comments · May be fixed by #450
Assignees
Labels
enhancement New feature or request good first issue Good for newcomers help wanted Extra attention is needed

Comments

@yegor256
Copy link
Member

yegor256 commented Nov 19, 2024

Here is the code:

[] > foo
  [] > bar
    ^.hello > @

Obviously, this code has an error, because hello is not present in the foo object. We can detect this problem statically.

Here is a more complex example:

[] > foo
  "yes" > message
  [] > bar
    while
      [i] >>
        if.
          i.lt 5
          QQ.io.stdout
            ^.^.messageeee   # typo here!
          true
      true > [i]

We can detect this typo, I believe.

@yegor256 yegor256 added enhancement New feature or request good first issue Good for newcomers help wanted Extra attention is needed labels Nov 19, 2024
@yegor256
Copy link
Member Author

@maxonfjvipon WDYT?

@h1alexbel
Copy link
Member

@yegor256 assign me please

@yegor256
Copy link
Member Author

yegor256 commented Dec 4, 2024

@h1alexbel go ahead

h1alexbel added a commit to h1alexbel/lints that referenced this issue Mar 21, 2025
h1alexbel added a commit to h1alexbel/lints that referenced this issue Mar 21, 2025
h1alexbel added a commit to h1alexbel/lints that referenced this issue Mar 21, 2025
h1alexbel added a commit to h1alexbel/lints that referenced this issue Mar 21, 2025
@h1alexbel
Copy link
Member

@maxonfjvipon am I correctly understood that ^.^.messageeee means this: up by two outer formations: i (autonamed) -> bar -> foo, and check for object with name messageeee in foo?

@maxonfjvipon
Copy link
Member

@h1alexbel correct, but this will work only if abstract objects have @name

@h1alexbel
Copy link
Member

h1alexbel commented Mar 21, 2025

@maxonfjvipon so, it's possible to locate non-abstract objects with ^. syntax?

@maxonfjvipon
Copy link
Member

@h1alexbel what do you mean?

@h1alexbel
Copy link
Member

@maxonfjvipon is it possible to move up to the non-abstract objects with ^., or it is applicable to the abstracts only?

@maxonfjvipon
Copy link
Member

@h1alexbel \rho attribute (^) means parent object. If object X has parent Y, that means X is an attribute of Y. Only abstract objects may have attribute. You can read this and this blog post for better understanding how \rho attribute works and why nameless objects (without @name attribute) don't have \rho

@h1alexbel
Copy link
Member

@maxonfjvipon thanks, it will definitely help me to better implement this lint

h1alexbel added a commit to h1alexbel/lints that referenced this issue Mar 26, 2025
h1alexbel added a commit to h1alexbel/lints that referenced this issue Mar 26, 2025
h1alexbel added a commit to h1alexbel/lints that referenced this issue Mar 26, 2025
h1alexbel added a commit to h1alexbel/lints that referenced this issue Mar 26, 2025
h1alexbel added a commit to h1alexbel/lints that referenced this issue Mar 26, 2025
h1alexbel added a commit to h1alexbel/lints that referenced this issue Mar 31, 2025
h1alexbel added a commit to h1alexbel/lints that referenced this issue Mar 31, 2025
h1alexbel added a commit to h1alexbel/lints that referenced this issue Apr 2, 2025
h1alexbel added a commit to h1alexbel/lints that referenced this issue Apr 2, 2025
h1alexbel added a commit to h1alexbel/lints that referenced this issue Apr 2, 2025
@h1alexbel h1alexbel linked a pull request Apr 2, 2025 that will close this issue
h1alexbel added a commit to h1alexbel/lints that referenced this issue May 21, 2025
h1alexbel added a commit to h1alexbel/lints that referenced this issue May 21, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request good first issue Good for newcomers help wanted Extra attention is needed
Projects
None yet
Development

Successfully merging a pull request may close this issue.

3 participants