Re: [Axiom-developer] Unions in Spad

[Stephen Wilson]

Stephen Wilson <address@hidden> 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