*{:*{:Real:}:}

[Jan Krynicky]

How I construct a value of this type?

Simply I can construct an unique array, but not an array with unique 
items if I don't know it's size.

a::*{:*{:Real:}:}
a = {:a1,a2,a3:}
 where
  a1 = {: 1.0,2.0 :}
  a2 = {: 3.5,4.7 :}
  a3 = {: 5.1,6.0 :}

is fine, but I need something like

a = zeros 2 3

-> a :: *{:*{:Real:}:} = {: {:0.0, 0.0, 0.0:}, {:0.0, 0.0, 0.0:} :}

I'd like mkArray to be of type
:: !Int (Int -> .a) -> *{: .a :}
instead of
:: !Int (Int -> a)  -> *{:a:}

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