On Saturday, December 9, 2017 at 3:07:12 AM UTC-6, Edward K. Ream wrote:
> There *is *enough data to solve this problem, but doing so requires
exquisite attention to detail.
An understatement. I've just added new infrastructure. My present test
program is:
class C1:
def f1(self, p):
print(p.v)
def f2(self, p):
self.f1(p.v) # WRONG
*Status*
The prototype:
- Understands the Commands, Position and VNode classes in in enough detail
to detect the error.
- Properly deduces that self.f1 refers to C1.f1, a non-trivial deduction!
*To do*
Check the arguments in the call to f1 against the arguments in the
signature. The call to print(p.v) in f1 does *not* have to be checked!
When this works the checker will have found an error that neither pyflakes
nor pylint can detect.
Edward
--
You received this message because you are subscribed to the Google Groups
"leo-editor" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.
