Stephen Wilson <[EMAIL PROTECTED]> writes: > > so if you write > > > > inj (n : Integer) : % == [n] > > > > as above, that should be a type error. > > On the contrary, it is a call to: > > construct : Integer -> % > > which is well typed.
Sorry. Again it is late. Spad will perform automatic coercions for you from type Rep to type %, which is clearly the key point here. Often there is no need for `rep' and `per' as in Aldor. Sincerley, Steve _______________________________________________ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer