This is the mail archive of the email@example.com mailing list for the Kawa project. See the Kawa home page for more information.
> In some cases it is important to be able to add declarations > around a form That seems like a reasonable need. I do this the term `declare' is rather ambiguous: It is sommonly used to mean either an `assertion' or a `definition'. What you are suggesting is an assertion, which suggests a more general assertion concept might be a better choice. Of course, I don't see adding general assertions to Kawa anytime soon, and probably not the more restricted type-assertions either (expect for type specifiers in conjunction with definitions). What I would like to add is some form of typecase statement such as various languages (Modula3 ?) have. For example: (typecase a (ai <integer> (do-integer-computation ai)) (else (do-number-computation a))) --Per Bothner Cygnus Solutions firstname.lastname@example.org http://www.cygnus.com/~bothner