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. _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
