Jonathan S. Shapiro wrote:
> We would like to be able to write and assign types to things 
> like:
> 
>   (lambda (w) (array int32 w))

I really did not understand this expression. The lambda is an expression
right? You probably meant

(lambda (w) (array-length int32 w)) or
(lambda (w) (array 10 20 30):(array int32 w)) ??

Swaroop.

_______________________________________________
bitc-dev mailing list
[email protected]
http://www.coyotos.org/mailman/listinfo/bitc-dev

Reply via email to