[Top][All Lists]

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

Re: [Axiom-developer] interpreter and with-expression

From: Martin Rubey
Subject: Re: [Axiom-developer] interpreter and with-expression
Date: 17 Jan 2007 20:10:37 +0100
User-agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.4

Dear all,

Gabriel Dos Reis <address@hidden> writes:

>   The interpreter (in particular pf2Sex) does not handle category
> definitions (with-expression).  

This sounds as if the interpreter would allow the definition of new
domains. However, from my experience, this is not the case.

I believe that both

>    Foo == Record(f: Integer, b: Boolean)
> or
>    Bar := Record(f: Integer, b: Boolean)

do not "really" define new domains. Foo is a macro that expands to
Record(f...), while Bar is a variable that is assigned Record(f...). However,
Record(f...) is an already defined domain, in fact, a very special one since it
is built in to the spad language (same holds for aldor, as far as I know).

For example, I get

(1) -> F: CoercibleTo OutputForm == add (Rep := Integer; coerce x == 
   Internal Error
   Unexpected error in call to system function pf2Sex1 


> In case it is by design, what is the rationale?

Looking at the aldor interpreter (where both is possible), it seems that it is
quite difficult. It is the bit where I experienced most segfaults...

reply via email to

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