Michael Walter wrote:
One of the basic things is what they call campling (== promotion traits ?)
Are you referring to what is commonly called "clamping"? If yes, I don't think this is what promotion traits are for (but maybe my definition of the latter is off).
Clamping is one functionality provided by promotion traits in VIGRA. Our promotion traits not only define which types should result from mixed-type expressions, but also how the values are transformed (this can be further customized by means of data accessors). Ulli -- ________________________________________________________________ | | | Ullrich Koethe Universitaet Hamburg / University of Hamburg | | FB Informatik / Dept. of Informatics | | AB Kognitive Systeme / Cognitive Systems Group | | | | Phone: +49 (0)40 42883-2573 Vogt-Koelln-Str. 30 | | Fax: +49 (0)40 42883-2572 D - 22527 Hamburg | | Email: u.koethe@computer.org Germany | | koethe@informatik.uni-hamburg.de | | WWW: http://kogs-www.informatik.uni-hamburg.de/~koethe/ | |________________________________________________________________|