[bitc-dev] Plan for literal types

[Swaroop Sridhar]

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.