Hi, Eva I assume you are asking if there is a program is a valid rpython program, right? Since rpython is a subset of python, you can check if it is a valid python program and then verify the restrictions imposed by rpython. "RPython: a Step Towards Reconciling Dynamically and Statically Typed OO Languages" lists these. PyPy impementation of rpython appears to check these constraints at "initialization" time, which is in a sense, python runtime. The result is, I think, to try and see if it compiles.
Come to think of it, vaildity and correctness are blurred in dynamic languages. Syntax is checked, but then Imports and asserts can affect if all of the program is even considered. Alternatively if you want to quickly distinguish practical rpython code from python, I guess you could look for clues such as what types are used, what modules imported, etc. Dima On 21 January 2011 08:03, Eva Maia <[email protected]> wrote: > Hi, > > It is possible through the PyPy toolchain check if a program is a > rPython program? > > I know the tool Pylint (RPylint) gives an idea, but it seems to me that > this tool gives some errors that result from being a little outdated. > > Thanks, > > Eva Maia. > _______________________________________________ > [email protected] > http://codespeak.net/mailman/listinfo/pypy-dev > _______________________________________________ [email protected] http://codespeak.net/mailman/listinfo/pypy-dev
