Earlier this year I promised Kent that I would alternate my attention between Leo and the static type checking project: https://groups.google.com/forum/?fromgroups#!forum/python-static-type-checking I haven't kept that promise. In fact, I have been devoting *all* my attention to the type-checking project. I'm not even playing the piano much. When I'm not actively working on the project I'm letting my non-conscious mind work on the problem to the exclusion of everything else.
I don't seem to have a choice: if I were to divide my attention now I would lose all the momentum that I have so laboriously built up. Happily, I am guessing that only a few weeks, or even a few days, may suffice to reach one last essential breakthrough. Just this morning I saw where to look for the Aha. Details later today in the other project. Yes, many interesting and important projects are piling up in the Leo world. I apologize for the interruption and ask for your understanding. I do hope to get back to you all sooner rather than later. I will not be happy if the work on type checking lasts much beyond the new year. Edward P.S. I have been looking for ways that the type-checking work can contribute to Leo. Yesterday I found one. I wrote a script that converts @test nodes to typical unit tests (subclasses of unittest.TestCase). The script writes these converted tests to one or more external files. This is a remarkably simple script; you could easily change it to make it work just as you please. More details at: https://groups.google.com/forum/?fromgroups=#!topic/python-static-type-checking/8y3UFlRE0dY I'll be adding this script to scripts.leo today. EKR -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To view this discussion on the web visit https://groups.google.com/d/msg/leo-editor/-/RzD6wLWqPVUJ. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/leo-editor?hl=en.
