[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: Martin Rubey
Subject: Re: [Axiom-developer] Re: Aldor and Axiom
Date: 15 Feb 2006 16:01:21 +0100
User-agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.4

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/ and then lib/aldor/src/base/
> Interestingly, in the latter file there is some interdependency.

> [...] 

> But obviously, the Aldor compiler can handle this.


> 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)?


> 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)


reply via email to

[Prev in Thread] Current Thread [Next in Thread]