[Types-sig] Re: Pascal style declarations

[Golden, Howard]

Christian Tismer [mailto:tismer@appliedbiometrics.com] wrote:

> def f(x):
>     a = x assert int
>     #... stuff
>     return str(x) + g(x) assert string # assert binding low precedence

I'm still trying to get a _declaration_ into the signature, e.g., using your
assert:

def f(x assert int) assert string :
    a = x
    #... stuff
    return str(x) + g(x)

In other words, "assert" is a synonym for Pascal's ":"!  :-)