On Tuesday, March 31, 2026 at 2:46:50 PM UTC-5 jkn wrote: I like the sound of this!
I'm glad you like it :-) I've spent most of today revising annotations and adding runtime checkers. Some generic Widget annotations remain. They are just an alias for Any. I'm not sure they can all be removed, but I'm working on it. Today's work featured new *g.checkWidget*, *g.checkTextWidget*, and *g.checkClass* functions. They test the ground truth (the live widgets) not the annotations (which are *not* necessarily correct!) Each new checker verifies that the objects have the expected types. Early implementations are hacks, but they are revealing nevertheless. The PR now calls one of the checkers in each method containing a widget-based annotation. In essence, the checkers are ever-present unit tests. There is no rush to complete the PR: I'll release it after Leo 6.8.8 goes out the door. But already the PR reveals patterns that I never expected to see. 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 view this discussion visit https://groups.google.com/d/msgid/leo-editor/a65451ed-03f7-49b4-b5a5-bccb4d1ba2ffn%40googlegroups.com.
