:: u: Type = Constructor a b u:c

[Jan Krynicky]

I've just downloaded Clean 1.1 and
I'm confused.

I used somthing like 

:: u:Matrix a = Matrix u:{:a:} | "some other types"

so using the new notation for arrays
it should look somthing like

:: u:Matrix arr = Matrix u:(arr a) | ...

but the compiler says
'Iden' expected instead of ident ':'

What's going on ?  Just a new syntax ?

Thanks for any help.           Jenda

--------------------------------------------------------
Jan Krynicky  -  JKRY3025@COMENIUS.MFF.CUNI.CZ
student of Faculty of Mathematics and Physics
Charles University in Prague
http://www.ms.mff.cuni.cz/acad/webik/~jkry3025