[bitc-dev] Plan for literal types

Tue Nov 4 17:43:55 CST 2008

Yes. That was what I meant.

On Nov 4, 2008 6:17 PM, "Swaroop Sridhar" <swaroop at cs.jhu.edu> wrote:

Jonathan S. Shapiro wrote: > We would like to be able to write and assign 
types to things > like: >...
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
bitc-dev at coyotos.org
http://www.coyotos.org/mailman/listinfo/bitc-dev

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.coyotos.org/pipermail/bitc-dev/attachments/20081104/1f2272e5/attachment.html 