From usama54321 at gmail.com Fri Dec 29 13:31:07 2017 From: usama54321 at gmail.com (usama hameed) Date: Fri, 29 Dec 2017 23:31:07 +0500 Subject: [Cython] Type Inference: Inter Procedural Analysis Message-ID: Hi all, I recently suggested implementing Inter-Procedural Analysis to infer function types and made the following Github issue , and I was advised to communicate on this channel. I went through the code base, and have implemented a rudimentary type inference system with inter procedural analysis of function types and arguments, and have handled recursive cases. However, the code base needs to be cleaned up a lot and is quite buggy right now. Furthermore, I am pretty sure a lot of edge cases need to be handled, i.e. closures etc. The reason I am sending out this email is to get some suggestions. Right now, the code I have written is pretty hacky, since the current code base of the project does not accommodate much flexibility to perform inter procedural analysis. I found an enhancement suggestion on the GitHub project, and was wondering whether this should be done first in order to make a more flexible type inference system before trying to properly implement inter procedural analysis into the project. I just started on this as part of a university course project, but I want to continue working on this. I am not really familiar with the project's development ecosystem, and it would be really helpful if I'm given some guidance. Thanks a lot -------------- next part -------------- An HTML attachment was scrubbed... URL: