Skip to content

rm defusepass.py #3038

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
wants to merge 24 commits into
base: main
Choose a base branch
from
Open

rm defusepass.py #3038

wants to merge 24 commits into from

Conversation

kugesan1105
Copy link
Collaborator

@kugesan1105 kugesan1105 commented Oct 9, 2025 •
edited
Loading

Description

image image

@kugesan1105 kugesan1105 linked an issue Oct 13, 2025 that may be closed by this pull request
Incorrect symbol usage/connectivity +handle attribute references through self. #2770
Open
@kugesan1105
Copy link
Collaborator Author 

obj App{
    def init{
        self.app_name = "MyApp";
    }
}

obj System{
    def run ->App{
        return App();
    }
}

def start(sys1:System){
    app = sys1.run();
    # print(app.app_name);
    app.app_name = 90;
}

kugesan1105
kugesan1105 commented Oct 14, 2025
View reviewed changes
jac/jaclang/compiler/type_system/type_evaluator.jac Outdated
Comment on lines 651 to 668
# handle member access
# pyright handle this in getDeclInfoForNameNode()
if isinstance(node_.parent, uni.AtomTrailer) and node_.parent.parent
and isinstance(node_.parent.parent, uni.Assignment) {

if node_.parent.parent.type_tag is not None {
annotation_type = self.get_type_of_expression(
node_.parent.parent.type_tag.tag
);
return self._convert_to_instance(annotation_type);
}

else { # Assignment without a type annotation: obj.member = <expr>
if node_.parent.parent.value is not None {
return self.get_type_of_expression(node_.parent.parent.value);
}
}
}
Copy link
Collaborator Author

@kugesan1105 kugesan1105 Oct 14, 2025 •
edited
Loading

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

image

@kugesan1105
Copy link
Collaborator Author

kugesan1105 commented Oct 15, 2025 •
edited
Loading

  1. cfg
  2. generics
  3. overload

kugesan1105 and others added 12 commits October 15, 2025 11:12
@kugesan1105
Merge branch 'main' into rm_defuse
df7281f
@kugesan1105
Refactor comments in TypeEvaluator and Archetype for clarity
b0c01de
@kugesan1105
Add handling for formatted value nodes in TypeCheckPass
f7477ec
@kugesan1105
Merge branch 'main' into rm_defuse
65688bb
@kugesan1105
support enum memeber access also
6d8e21b
@kugesan1105
Add handling for return statement and formatted value nodes in TypeCh…
10b9f44 
…eckPass
@kugesan1105
Merge branch 'main' into rm_defuse
db3a2a9
@kugesan1105
Update tests for Jac language server diagnostics and adjust expected …
ce3c065 
…token counts
@kugesan1105
Remove unused method get_has_var_parameters from TypeEvaluator class
a03f5a1
@kugesan1105
Add TODO comment for connecting function arguments to their declarati…
57d7d1c 
…ons in reference test cases
@kugesan1105
Refactor test commands in GitHub Actions workflow for improved clarit…
628de4b 
…y and consistency
@kugesan1105
Add type checker test for member access and symbol resolution in `sym…
84b9659 
…tab_build.jac`
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

Incorrect symbol usage/connectivity +handle attribute references through self.

1 participant

@kugesan1105