[bitc-dev] Plan for literal types

[Swaroop Sridhar]

Swaroop Sridhar wrote:
> 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

Sorry, I made a mistake here too. The above function does not have any 
meaning. Basically, I wanted to write any function where the
(array int32 w) appears in type position. I think that the second 
expression I wrote is correct:

> (lambda (w) (array 10 20 30):(array int32 w)) ??

I understood the rest of the mail, and it seems correct.

Swaroop.