-
Notifications
You must be signed in to change notification settings - Fork 23
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
[Sema] MemberAccess #104
[Sema] MemberAccess #104
Conversation
Codecov Report
@@ Coverage Diff @@
## master #104 +/- ##
==========================================
- Coverage 66.58% 66.33% -0.25%
==========================================
Files 97 97
Lines 13398 13480 +82
Branches 1987 2013 +26
==========================================
+ Hits 8921 8942 +21
- Misses 3487 3538 +51
- Partials 990 1000 +10
Continue to review full report at Codecov.
|
Actions.Diag(Base->getLocation().getBegin(), | ||
diag::err_super_in_noninheritance_contract); | ||
} | ||
for (auto F : Bases[1]->getFuncs()) |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Here is a magic number 1
, what does it mean?
} break; | ||
case Type::Category::Address: { | ||
// TODO: Handle Address case | ||
// TODO: Address.send(x), should bypass send and check x. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Do we need to throw an unimplemented error here?
@@ -439,6 +439,7 @@ class TypeResolver : public StmtVisitor { | |||
ME.setLibraryAddress(Address); | |||
return; | |||
} | |||
// TODO : remove this |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Remove what?
Due to issue #92 , some impartment part can not be implemented until we solve it.
Therefore it is required to add a lot bypass.