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.

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
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
@h1alexbel
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 •
edited
Loading

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
feat(objectionary#13): missing-caret-references
5649a1e
h1alexbel added a commit to h1alexbel/lints that referenced this issue Mar 21, 2025
@h1alexbel
feat(objectionary#13): allows present
13dcb3f
h1alexbel added a commit to h1alexbel/lints that referenced this issue Mar 21, 2025
@h1alexbel
feat(objectionary#13): check deeply nested
667add6
h1alexbel added a commit to h1alexbel/lints that referenced this issue Mar 21, 2025
@h1alexbel
feat(objectionary#13): correct calculation
0159fe8
@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 •
edited
Loading

@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
feat(objectionary#13): if auto move up
6f59c21
h1alexbel added a commit to h1alexbel/lints that referenced this issue Mar 26, 2025
@h1alexbel
feat(objectionary#13): rho
140e974
h1alexbel added a commit to h1alexbel/lints that referenced this issue Mar 26, 2025
@h1alexbel
feat(objectionary#13): allows to present from deeply nested
fc4fbb0
h1alexbel added a commit to h1alexbel/lints that referenced this issue Mar 26, 2025
@h1alexbel
feat(objectionary#13): recursion
94ed688
h1alexbel added a commit to h1alexbel/lints that referenced this issue Mar 26, 2025
@h1alexbel
feat(objectionary#13): cleaned up
07f9892
h1alexbel added a commit to h1alexbel/lints that referenced this issue Mar 31, 2025
@h1alexbel
feat(objectionary#13): skip non-abstracts
fb0f8d9
h1alexbel added a commit to h1alexbel/lints that referenced this issue Mar 31, 2025
@h1alexbel
feat(objectionary#13): eo:abstract
a9f338c
h1alexbel added a commit to h1alexbel/lints that referenced this issue Apr 2, 2025
@h1alexbel
feat(objectionary#13): clean
8b7b070
h1alexbel added a commit to h1alexbel/lints that referenced this issue Apr 2, 2025
@h1alexbel
feat(objectionary#13): escape
14e7c5f
h1alexbel added a commit to h1alexbel/lints that referenced this issue Apr 2, 2025
@h1alexbel
feat(objectionary#13): puzzle
c76ab8d
@h1alexbel h1alexbel linked a pull request Apr 2, 2025 that will close this issue
Open
h1alexbel added a commit to h1alexbel/lints that referenced this issue May 21, 2025
@h1alexbel
bug(objectionary#13): yaml fix
771770a
h1alexbel added a commit to h1alexbel/lints that referenced this issue May 21, 2025
@h1alexbel
bug(objectionary#13): no errors
306e92c
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@h1alexbel h1alexbel

Labels
enhancement New feature or request good first issue Good for newcomers help wanted Extra attention is needed
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

feat(#13): missing-rho-reference lint h1alexbel/lints
3 participants
@yegor256 @maxonfjvipon @h1alexbel