[pypy-commit] pypy set-strategies: make sure the annotator sees this as set or a subclass of set

[l.diekmann]

Author: Lukas Diekmann <lukas.diekmann at uni-duesseldorf.de>
Branch: set-strategies
Changeset: r49169:17c8862614d7
Date: 2011-05-20 15:10 +0200
http://bitbucket.org/pypy/pypy/changeset/17c8862614d7/

Log:	make sure the annotator sees this as set or a subclass of set

diff --git a/pypy/objspace/std/setobject.py b/pypy/objspace/std/setobject.py
--- a/pypy/objspace/std/setobject.py
+++ b/pypy/objspace/std/setobject.py
@@ -81,6 +81,7 @@
             obj = W_FrozensetObject(space, w_iterable)
         else:
             obj = space.call_function(space.type(w_self), w_iterable)
+            assert isinstance(obj, W_BaseSetObject)
         return obj
 
     _lifeline_ = None