Re: [Axiom-developer] Re: Aldor and Axiom

[Martin Rubey]

Ralf Hemmecke <address@hidden> writes:

> > But as far as I know, for Aldor this situation was abstracted and there is 
> > now
> > a keyword for dealing with it, I believe it is "extend".
> 
> Right. If you look at the sources of libaldor it starts with
> lib/aldor/src/lang/sal_lang.as and then lib/aldor/src/base/sal_base.as.
> 
> Interestingly, in the latter file there is some interdependency.

> [...] 

> But obviously, the Aldor compiler can handle this.

great!

> Should I know debugsys?

no. It is (scarcly..) described in "developernotes", I think.

> > Without OUTFORM, you can print using the Lisp function "print".
> 
> But how does the Interpreter show the result? Doesn't it rely on the fact that
> a domain satisfies CoercibleTo(OutputForm)?

yes.

> For example, if you write a file
> 
> ---MyInt.spad
> )abbr domain MYI MyInt
> MyInt: with
>    x: %
>   == Integer add
>    x: % == 1
> ---END
> 
> Then
> )co MyInt.spad
> x:MyInt
> 
> it prints just Type: Void but no other output.

yes, this is what I'd expect. Well, not quite. I'd expect Type:MyInt...

> So in order to have a reasonable input/output behaviour on the Axiom command
> line, I should meet certain criteria. 

Look at outform.spad and out.spad. (I think the latter answers your question)

Martin