Re: mypy now passes ekr-mypy branch

On Fri, Mar 5, 2021 at 8:28 AM tbp1...@gmail.com wrote: > From the F11 Help: > > *Run mypy on all nodes of the selected tree*, or the first @ node > in an ancestor. > Rev 889bf7 in devel corrects the docstring. It now starts with: Run mypy on all @ nodes of the selected tree. Edward -- Yo

Re: mypy now passes ekr-mypy branch

>From the F11 Help: *Run mypy on all nodes of the selected tree*, or the first @ node in an ancestor. I personally would like to be able to run mypy on a subtree that isn't part of an @file tree. I have a lot of code I use VR3 on, and I want to run mypy on that. But at least I'd like the help

Re: mypy now passes ekr-mypy branch

On Fri, Mar 5, 2021 at 8:06 AM tbp1...@gmail.com wrote: I didn't get any output from the mypy command. This code is in a node, and > it's not an @file or @anything node: > Leo's mypy command runs the mypy command on zero or more external *files. *In your case, zero :-) Edward -- You received

Re: mypy now passes ekr-mypy branch

I didn't get any output from the mypy command. This code is in a node, and it's not an @file or @anything node: @language python def f1(x:int) -> int: y:int = 3*x return 'this is a test' #return y print(f1(5)) When I ran the mypy command on this node, using , I got no output in th

Re: mypy now passes ekr-mypy branch

On Thu, Mar 4, 2021 at 6:47 PM Félix wrote: > Everybody's into type checking now! Thats great! :-) 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 leo-

Re: mypy now passes ekr-mypy branch

Everybody's into type checking now! Thats great! On Tuesday, March 2, 2021 at 6:19:42 AM UTC-5 Edward K. Ream wrote: > On Tuesday, March 2, 2021 at 5:17:43 AM UTC-6 Edward K. Ream wrote: > > #1557 : Fix mypy >> complaints, is now complete

Re: mypy now passes ekr-mypy branch

On Tuesday, March 2, 2021 at 5:17:43 AM UTC-6 Edward K. Ream wrote: #1557 : Fix mypy > complaints, is now complete. The corresponding PR is #1830 > . > I forgot to mention that I have added

mypy now passes ekr-mypy branch

#1557 : Fix mypy complaints, is now complete. The corresponding PR is #1830 . This post summarizes what I learned. *mypy is a superb tool* mypy is much easier to use