<?xml version="1.0" encoding="utf-8"?>
<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>Recent changes to 3: 'Number' does not work properly</title><link>https://sourceforge.net/p/typecheck/bugs/3/</link><description>Recent changes to 3: 'Number' does not work properly</description><atom:link href="https://sourceforge.net/p/typecheck/bugs/3/feed.rss" rel="self"/><language>en</language><lastBuildDate>Sun, 07 Dec 2008 21:50:09 -0000</lastBuildDate><atom:link href="https://sourceforge.net/p/typecheck/bugs/3/feed.rss" rel="self" type="application/rss+xml"/><item><title>'Number' does not work properly</title><link>https://sourceforge.net/p/typecheck/bugs/3/</link><description>&lt;div class="markdown_content"&gt;&lt;p&gt;Hello,&lt;br /&gt;
I am using typecheck 0.3.5&lt;br /&gt;
Python 2.5&lt;br /&gt;
Linux Ubuntu 8.10&lt;/p&gt;
&lt;p&gt;I tried this example:&lt;/p&gt;
&lt;p&gt;import typecheck&lt;br /&gt;
from typecheck import accepts&lt;br /&gt;
from typecheck.typeclasses import String, Number&lt;/p&gt;
&lt;p&gt;@accepts(Number)&lt;br /&gt;
def f(a):&lt;br /&gt;
print a&lt;/p&gt;
&lt;p&gt;if __name__ == "__main__":&lt;br /&gt;
f("error")&lt;/p&gt;
&lt;p&gt;instead of getting a type exception the function is executed successfully.&lt;/p&gt;
&lt;p&gt;Cheers&lt;br /&gt;
Tiago&lt;/p&gt;&lt;/div&gt;</description><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Coutinho</dc:creator><pubDate>Sun, 07 Dec 2008 21:50:09 -0000</pubDate><guid>https://sourceforge.netbbddc537402d6f8478fbc0815c12759c901aaf6c</guid></item></channel></rss>