Hi, Prajwal Suhas P wrote: > This is my proposal for gsoc. > http://wiki.cython.org/gsoc/prajwal > > Please feel free to give suggestions/comment on it.
My main comment is that your proposal seems to reduce CFA to None check avoidance. While this is a valid example for CFA application, it does not quite catch what CFA is by itself. Possible variable values are one thing that you can *infer* from a control flow graph, possible types are another. But the primary goal of this project should be to establish a suitable representation of the possible execution paths inside a function (and, less importantly, the global module code). So this really is about finding (as in reading up) and implementing an efficient way for establishing, maintaining and querying the control state of a function at each parse tree node. Stefan _______________________________________________ Cython-dev mailing list [email protected] http://codespeak.net/mailman/listinfo/cython-dev
