2012/5/9 Robert Bradshaw <rober...@gmail.com>: > On Wed, May 9, 2012 at 6:33 AM, Stefan Behnel <stefan...@behnel.de> wrote: >> mark florisson, 09.05.2012 15:18: >>> On 9 May 2012 14:16, Vitja Makarov wrote: >>>> from cython cimport typeof >>>> >>>> def foo(float[::1] a): >>>> b = a >>>> #del b >>>> print typeof(b) >>>> print typeof(a) >>>> >>>> >>>> In this example `b` is inferred as 'Python object' and not >>>> `float[::1]`, is that correct? >>>> >>> That's the current behaviour, but it would be better if it inferred a >>> memoryview slice instead. >> >> +1 > > +1. This looks like it would break inference of extension classes as well. > > https://github.com/vitek/cython/commit/f5acf44be0f647bdcbb5a23c8bfbceff48f4414e#L0R336 > > could be changed to check if it's already a py_object_type (or memory > view) as a quick fix, but it's not as pure as adding the constraints > "can be del'ed" to the type inference engine. >
Yeah, right. It must be something like this: if not inferred_type.is_pyobject and inferred_type.can_coerce_to_pyobject(scope): -- vitja. _______________________________________________ cython-devel mailing list cython-devel@python.org http://mail.python.org/mailman/listinfo/cython-devel
