<?xml version="1.0" encoding="utf-8"?>
<feed xml:lang="en" xmlns="http://www.w3.org/2005/Atom"><title>Recent changes to 4: 'String' does not work properly</title><link href="https://sourceforge.net/p/typecheck/bugs/4/" rel="alternate"/><link href="https://sourceforge.net/p/typecheck/bugs/4/feed.atom" rel="self"/><id>https://sourceforge.net/p/typecheck/bugs/4/</id><updated>2008-12-31T23:00:57Z</updated><subtitle>Recent changes to 4: 'String' does not work properly</subtitle><entry><title>'String' does not work properly</title><link href="https://sourceforge.net/p/typecheck/bugs/4/" rel="alternate"/><published>2008-12-31T23:00:57Z</published><updated>2008-12-31T23:00:57Z</updated><author><name>marc leconte</name><uri>https://sourceforge.net/u/tildebis/</uri></author><id>https://sourceforge.net57e17375157f21da63cbf0fd36ef88e86161efb7</id><summary type="html">&lt;div class="markdown_content"&gt;&lt;p&gt;Hello,&lt;br /&gt;
I'm using typecheck 0.3.5&lt;br /&gt;
Python 2.5&lt;br /&gt;
Linux Ubuntu 8.04.1&lt;br /&gt;
And I have the same problem than tiagocoutinho _and_ another one with String:&lt;/p&gt;
&lt;p&gt;@accepts(String)&lt;br /&gt;
def f(a):&lt;br /&gt;
print a&lt;/p&gt;
&lt;p&gt;if __name__ == "__main__":&lt;br /&gt;
f(2)&lt;/p&gt;
&lt;p&gt;The exception is not the one expected:&lt;br /&gt;
typecheck.TypeCheckError: Argument a: for 2, missing attribute upper&lt;/p&gt;
&lt;p&gt;I would have expected something like:&lt;br /&gt;
typecheck.TypeCheckError: Argument a: for 2, expected &amp;lt;type 'String'&amp;gt;, got &amp;lt;type 'int'&amp;gt;&lt;/p&gt;
&lt;p&gt;Sincerely,&lt;br /&gt;
Marc.&lt;/p&gt;&lt;/div&gt;</summary></entry></feed>