[Types-sig] Run time arg checking implemented

[skaller]

Skip Montanaro wrote:
> 
>     skaller> I have implemented run time argument checking in Viper, using
>     skaller> Greg's ! operator. The syntax (so far) is like:
> 
>     skaller>    def f( p ! t = dflt): pass
> 
>     skaller> and the semantics are to check that an argument has the
>     skaller> nominated type:
> 
>     skaller>    f(a)
> 
>     skaller> checks like:
> 
>     skaller>    if type(a) is not t:
>     skaller>            raise TypeError "messge"
> 
> Any reason this isn't
> 
>     assert type(a) is t
> 
> ?

	Different message.

-- 
John Skaller, mailto:skaller@maxtal.com.au
10/1 Toxteth Rd Glebe NSW 2037 Australia
homepage: http://www.maxtal.com.au/~skaller
voice: 61-2-9660-0850