[Top][All Lists]

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

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

From: Peter Broadbery
Subject: Re: [Axiom-developer] Re: SPAD and Aldor again
Date: Fri, 17 Nov 2006 19:16:44 +0000

On Fri, 2006-11-17 at 11:36 +0100, Martin Rubey wrote:
> Peter Broadbery <address@hidden> writes:
> > On Fri, 2006-11-17 at 08:43 +0100, Martin Rubey wrote:
> > > And, as you know, in my opinion the first step in making this happen is to
> > > make the Axiom interpreter (!) understand Aldor generated code, i.e.,
> > > dependent types.
> > 
> > This is currently stymied by the aldor compiler not being able to generate
> > .asy files where there are dependent types in signatures
> > (try 'foo: (R: Ring, t: R)').  The .asy generation code enters a loop, which
> > is a bit poor.
> Does this mean that one would need to modify the Aldor compiler? I.e., we 
> would
> need access to the sources?

Yup.  Reverse engineering the .ao is possible, but not a serious


reply via email to

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