Mailman 3 January 2005 - pypy-dev

Re: [pypy-dev] Running Python in reverse
by Alexander Schliep Jan. 11, 2005

Jan. 11, 2005

On Fri, 7 Jan 2005 hpk(a)trillke.net (holger krekel) wrote: > ... > Yes, i see the problem. At EuroPython 2004 there also was Michael Salib > who also presented his wish to have a "time warp" debugger that allows > to arbitrarily move within execution time of your program and see all > the state. And IIRC, we have been discussing this between PyPy developers This sounds like the same general idea. > ... > Rightfully so. I wouldn't call it "run backwards" though but to … [View More]

2 1

Common Lisp translation broken
by Adrien Di Mascio Jan. 11, 2005

Jan. 11, 2005

Hi all, I'm just beginning to play around with PyPy, and I got a traceback when trying to translate Python code to CL code. Here's the traceback : ######### >>> t = Translator(test.if_then_else) >>> t.cl() Traceback (most recent call last): File "<stdin>", line 1, in ? File "translator.py", line 165, in cl return self.generatecode(GenCL, input_arg_types, func) File "translator.py", line 184, in generatecode self.entrypoint, ann)] File "translator.py", … [View More]

2 1

Re: [pypy-svn] r8201 - pypy/trunk/src/pypy/appspace
by Christian Tismer Jan. 11, 2005

Jan. 11, 2005

ale(a)codespeak.net wrote: > Author: ale > Date: Tue Jan 11 08:58:40 2005 > New Revision: 8201 > > Added: > pypy/trunk/src/pypy/appspace/struct.py > Log: > Added the start of a struct module. It is not quite finished yet. > > The structure of the code is basically as in structmodule.c. > But some python goodies has been used - if that makes the > module less RPython I don't know. No, I think this is absolutely fine. I could translate it to RPython, and … [View More]

2 3

Re: [pypy-svn] r8201 - pypy/trunk/src/pypy/appspace
by Christian Tismer Jan. 11, 2005

Jan. 11, 2005

ale(a)codespeak.net wrote: > Author: ale > Date: Tue Jan 11 08:58:40 2005 > New Revision: 8201 > > Added: > pypy/trunk/src/pypy/appspace/struct.py > Log: > Added the start of a struct module. It is not quite finished yet. > > The structure of the code is basically as in structmodule.c. > But some python goodies has been used - if that makes the > module less RPython I don't know. No, I think this is absolutely fine. I could translate it to RPython, and … [View More]

1 0

flow space and UnboundLocalError! Eek!
by Christian Tismer Jan. 10, 2005

Jan. 10, 2005

Hi friends, I was playing with generated RPy functions, and just for fun, I ran my generator over its output. That should give an RPython interpreter for the whole pypy implementation. Not too useful, but nice to look at, better than disassembly :-) Here *the problem*: When I run flow space over my attached generated function, it crashes with an UnboundLocalError: w_26. This *is not* an error, because all the paths can only be walked in the order enforced by the big goto loop. But the flow … [View More]space seems to step into a problem here. Well, flow space tries every branch, and most probably without looking at the data. Question: Is it possible to change the flow space to just ignore unbound variables? Or is this kind of code to be defined as NOT_RPYTHON ? The latter would be very bad, since I'm trying to create RPython, so it should be. An ugly solution would be to initialize all variables to some default. Please let me know ASAP -- ciao - chris -- Christian Tismer :^) <mailto:tismer@stackless.com> tismerysoft GmbH : Have a break! Take a ride on Python's Johannes-Niemeyer-Weg 9A : *Starship* http://starship.python.net/ 14109 Berlin : PGP key -> http://wwwkeys.pgp.net/ work +49 30 802 86 56 mobile +49 173 24 18 776 fax +49 30 80 90 57 05 PGP 0x57F3BF04 9064 F4E1 D754 C2FF 1619 305B C09C 5A3B 57F3 BF04 whom do you want to sponsor today? http://www.stackless.com/ #!/bin/env python # -*- coding: LATIN-1 -*- ##SECTION## ## filename 'genrpy.py' ## function 'ff' ## firstlineno 1062 ##SECTION## # global declarations # global object gcls_SystemError # global object gi_42 def f_ff(space, *args_w): kwlist = ["a", "b", "c"] w_1 = space.newtuple(list(args_w[3:])) _args_w = args_w[:3] defaults_w = (gi_3,) # XXX should parse args here, but no keyword support in gateway funcname = "ff" w_2, w_4, w_6 = PyArg_ParseMini(space, funcname, 2, 3, _args_w, defaults_w) return fastf_ff(space, w_2, w_4, w_6, w_1) def fastf_ff(space, w_2, w_4, w_6, w_1): goto = 1 # startblock while True: if goto == 1: v0 = space.is_true(w_1) if v0 == True: w_3, w_5, w_7, w_8 = w_2, w_4, w_6, w_1 goto = 3 else: assert v0 == False w_9, w_10, w_11, w_12 = w_2, w_4, w_6, w_1 goto = 2 if goto == 2: w_13 = space.add(w_9, w_10) v14 = space.is_true(w_12) if v14 == True: (w_15, w_16, w_17, w_18, w_19, w_20) = (w_9, w_10, w_11, w_12, w_13, v14) goto = 5 else: assert v14 == False w_21 = w_13 goto = 6 if goto == 3: v22 = space.is_true(w_8) if v22 == True: w_23, w_24, w_25, w_26, w_27 = w_3, w_5, w_7, w_8, v22 goto = 4 else: assert v22 == False w_28, w_29 = gcls_SystemError, gi_42 goto = 7 if goto == 4: w_30 = space.len(w_26) w_31 = space.newtuple([w_30, w_25]) w_21 = w_31 goto = 6 if goto == 5: w_32 = space.len(w_18) w_33 = space.newtuple([w_32, w_17]) w_21 = w_33 goto = 6 if goto == 6: return w_21 if goto == 7: raise OperationError(w_28, w_29) ##SECTION## ## filename 'genrpy.py' ## function '<lambda>' ## firstlineno 1142 ##SECTION## # global declarations # global object gfunc__lambda_ # global object gfunc_ff # global object gi_2 # global object gi_3 # global object gi_5 def f__lambda_(space, *args_w): kwlist = [] _args_w = args_w defaults_w = () # XXX should parse args here, but no keyword support in gateway funcname = "<lambda>" PyArg_ParseMini(space, funcname, 0, 0, _args_w, defaults_w) return fastf__lambda_(space, ) def fastf__lambda_(space, ): goto = 1 # startblock while True: if goto == 1: _tup = space.newtuple([gi_2, gi_3, gi_5]) w_0 = space.call(gfunc_ff, _tup) w_1 = w_0 goto = 2 if goto == 2: return w_1 ##SECTION## #************************************************************* def init_lambda__1(space): """NOT_RPYTHON""" class m: pass # fake module m.__dict__ = globals() from pypy.interpreter.gateway import interp2app m.gfunc__lambda_ = space.wrap(interp2app(f__lambda_)) m.gfunc_ff = space.wrap(interp2app(f_ff)) m.gi_2 = space.newint(2) m.gi_3 = space.newint(3) m.gi_5 = space.newint(5) from pypy.translator.genrpy import PyArg_ParseMini m.PyArg_ParseMini = PyArg_ParseMini from pypy.interpreter.error import OperationError m.OperationError = OperationError m.gcls_SystemError = space.wrap(SystemError) m.gi_42 = space.newint(42) # entry point: _lambda_, gfunc__lambda_) if __name__ == "__main__": from pypy.objspace.std import StdObjSpace space = StdObjSpace() init_lambda__1(space) print space.unwrap(space.call( gfunc__lambda_, space.newtuple([]))) [View Less]

1 0

tests porting status
by Samuele Pedroni Jan. 10, 2005

Jan. 10, 2005

All tests apart appspace tests and some tests in tool/test are ported to py.test. The tool/test are easy to address. Given that appspace tests are currently run through CPython I wonder whether it would make sense to merge the branch, porting the few tests that were added to the head after the branch creation and think how to address exactly the appspace tests issue after that directly on the head. This would allow whatever work is going to happen on the head between now and the sprint … [View More]

2 1

Re: [pypy-dev] Upcoming PyPy sprint
by Armin Rigo Jan. 10, 2005

Jan. 10, 2005

Hi Jacek, On Thu, Jan 06, 2005 at 07:41:08PM +0100, Jacek Generowicz wrote: > I would like to come, but the timing is rather unfortunate and it looks > like I would not be able to attend the whole event. However, I would be > able to commute (from Geneva) on a few of the days. > > Would I be able to pick up some knowledge of PyPy by attending a few > days, or would it be a complete waste of everybody's time? Would you be able to attend the beginning of the sprint? I fear … [View More]

3 4

Re: [pypy-svn] r8078 - pypy/trunk/src/pypy/interpreter
by hpk＠trillke.net Jan. 9, 2005

Jan. 9, 2005

On Wed, Jan 05, 2005 at 17:35 +0100, tismer(a)codespeak.net wrote: > Author: tismer > Date: Wed Jan 5 17:35:47 2005 > New Revision: 8078 > > Modified: > pypy/trunk/src/pypy/interpreter/pyopcode.py > Log: > changed LOAD_GLOBAL to support the flow space better. > In case of a NameError, where the space does not define NameError, > we raise a real NameError with a message. > > Modified: pypy/trunk/src/pypy/interpreter/pyopcode.py > ======================… [View More]

4 5

Re: [pypy-dev] Upcoming PyPy sprint
by Armin Rigo Jan. 7, 2005

Jan. 7, 2005

Hi, On Fri, Jan 07, 2005 at 12:54:04PM +0100, Adrien Di Mascio wrote: > Ludovic and I won't be able to be there before the 24th. Is it be > possible for you (Pypy team) to keep some of the "Introducing PyPy" > part for Monday and Tuesday ? Yes, I guess so. Armin

1 0

Running Python in reverse
by Alexander Schliep Jan. 7, 2005

Jan. 7, 2005

Hi everyone, Christian Tismer encouraged me to post the following directly to the pypy mailing list. My main Python project is Gato, a software for visualizing (or animating) graph algorithms; see http://gato.sourceforge.net/wiki/pmwiki.php/Main/Screenshots. The main ingredients of Gato are a debugger subclass, some GUI elements and code for drawing graphs. The goal is to have an interactive, dynamic version of the classical comp.sci. text book, where, typically, some graph algorithm is … [View More]given as pseudo code and you see (at best) a before, during, and after snapshot picture of its working on some graph. Python is a perfectly fine replacement for pseudo code and the execution and directly coupled visualization, which you can control just like a debugger, convey much more than static pictures. Winfried Hochstaettler, some university colleagues, and myself have used this for teaching discrete math, combinatorial optimization and comp.sci.classes with quite favorable comments from everyone involved. The number one request was always the ability to track back. I started to implement an instant replay of the last visualization effect (change of color, blink etc.) and started to think about a proper way of supporting the ability to step back in time. This essentially boils down to implementing one of the classical design patterns for supporting unlimited undo (and redo), treating the visualization effects as commands. This decouples the state (values of all variables used) of the algorithm from the state of the visualization, hence running the algorithm after a couple of Undos is not possible (One could fake that by Redoing everything and then continuing execution). Supporting an update of all variables gets kind of messy in standard Python. A cleaner approach would be to have a Python interpreter which can run backwards. Christian thinks it would be feasible in PyPy. This actually would be extremely nice for a number of applications - teaching Python - teaching algorithms with Python - debugging in general I am somewhat embarrassed to ask for a feature without much to offer. But realistically, I cannot promise more than to be a tester and happy user. Best, Alexander PS: Gato is LGPL. The algorithms we have are copyright Springer, as we have a textbook & software package coming out this year. PPS: There is a C-syntax-based tool which can run backwards: http://www.dis.uniroma1.it/~demetres/Leonardo/Leonardo.html -- schliep(a)molgen.mpg.de http://algorithmics.molgen.mpg.de [View Less]

2 1