Re: Aha: How to find patterns in python parse trees

[Thomas Passin]

On Tuesday, May 9, 2023 at 7:54:48 AM UTC-4 Edward K. Ream wrote:

On Monday, May 8, 2023 at 8:16:08 AM UTC-5 Edward K. Ream wrote:

Once the technical problem disappeared it became clear that static checks 
of Leo's code are not likely to be of great value!


There has been many words written about how important static typing is, and 
how therefore languages like Python cannot really be good production 
languages.  To the contrary, I have read that only say 10% of bugs in 
actual working systems would have been caught by static type checking.  So 
yes, you can't ignore getting the types right, but that's only the 
beginning.

-- 
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-editor+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/leo-editor/3f244437-a31a-45b3-89a3-f6b09735ef33n%40googlegroups.com.

Re: two comma presses == no change?!

[jkn]

Ah, right, thanks - that makes sense.

I think you are right that it should only happen when expanding 
abbreviations, but I can live with it - I was just curious...

Regards
J^n


On Tuesday, May 9, 2023 at 12:39:12 PM UTC+1 Edward K. Ream wrote:

> On Tue, May 9, 2023 at 6:19 AM jkn  wrote:
>
> If I press the comma ',' key twice in succession, the first character 
>> placed in the body text by the first press, gets deleted on the second 
>> press!
>
>
> See @string abbreviations-next-placeholder = ,,
>
> Arguably the behavior you describe should only happen when expanding 
> abbreviation.
>
> 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-editor+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/leo-editor/4f4c96f9-a1e9-4e02-885c-581a87619dcfn%40googlegroups.com.

Re: Aha: How to find patterns in python parse trees

[Edward K. Ream]

On Monday, May 8, 2023 at 8:16:08 AM UTC-5 Edward K. Ream wrote:

Yesterday I discovered a dead simple *design* pattern for finding *code* 
patterns in python parse trees.


The  *AnnotationsTraverser.**test_annotation* method revealed several 
surprising annotations. PR #3319 
 fixes some of them. 
test_annotation ignores (with comments) several special cases.

Surprisingly, these changes are likely to be the only result of the Aha. 
Once the technical problem disappeared it became clear that static checks 
of Leo's code are not likely to be of great value!

In short, the Aha has encouraged me to move on :-)

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-editor+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/leo-editor/4fcafe06-4eb5-470c-8cbd-550f0569249bn%40googlegroups.com.

Re: two comma presses == no change?!

[Edward K. Ream]

On Tue, May 9, 2023 at 6:19 AM jkn  wrote:

If I press the comma ',' key twice in succession, the first character
> placed in the body text by the first press, gets deleted on the second
> press!


See @string abbreviations-next-placeholder = ,,

Arguably the behavior you describe should only happen when expanding
abbreviation.

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-editor+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/leo-editor/CAMF8tS1Jp5xt3nScAdyH8rw2Eer40eyTc__NSDfUw17wJs8nMQ%40mail.gmail.com.

two comma presses == no change?!

[jkn]

I'm more curious than anything...

If I press the comma ',' key twice in succession, the first character 
placed in the body text by the first press, gets deleted on the second 
press!

I don't know of any setting, command, or abbreviation that I have that 
might be causing this - any thoughts?

Thanks, J^n

-- 
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-editor+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/leo-editor/0ae6caaa-a3b3-43f5-a9d0-065e5628e46cn%40googlegroups.com.