[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-developer] Re: SPAD and Aldor again
From: |
Martin Rubey |
Subject: |
Re: [Axiom-developer] Re: SPAD and Aldor again |
Date: |
17 Nov 2006 21:02:40 +0100 |
User-agent: |
Gnus/5.09 (Gnus v5.9.0) Emacs/21.4 |
Peter Broadbery <address@hidden> writes:
> 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
> proposition.
>
> Peter
Oops. That's the worst news I heard for a long time. It's time to send email to
Stephen Watt again.
Martin
- [Axiom-developer] Re: Ping: case insensitive filesystems, (continued)
- [Axiom-developer] Re: Ping: case insensitive filesystems, Gabriel Dos Reis, 2006/11/15
- Re: [Axiom-developer] Re: Ping: case insensitive filesystems, C Y, 2006/11/16
- Re: [Axiom-developer] Re: Ping: case insensitive filesystems, Gabriel Dos Reis, 2006/11/16
- Re: [Axiom-developer] Re: Ping: case insensitive filesystems, C Y, 2006/11/16
- [Axiom-developer] Re: SPAD and Aldor again, Martin Rubey, 2006/11/17
- Re: [Axiom-developer] Re: SPAD and Aldor again, Peter Broadbery, 2006/11/17
- Re: [Axiom-developer] Re: SPAD and Aldor again, Waldek Hebisch, 2006/11/17
- Re: [Axiom-developer] Re: SPAD and Aldor again, Peter Broadbery, 2006/11/17
- Re: [Axiom-developer] Re: SPAD and Aldor again, Martin Rubey, 2006/11/17
- Re: [Axiom-developer] Re: SPAD and Aldor again, Peter Broadbery, 2006/11/17
- Re: [Axiom-developer] Re: SPAD and Aldor again,
Martin Rubey <=
- Re: [Axiom-developer] Re: SPAD and Aldor again, Waldek Hebisch, 2006/11/17
- Re: [Axiom-developer] Re: SPAD and Aldor again, C Y, 2006/11/17
- Re: [Axiom-developer] Re: SPAD and Aldor again, Gabriel Dos Reis, 2006/11/17
- Re: [Axiom-developer] Re: SPAD and Aldor again, Martin Rubey, 2006/11/17
- Re: [Axiom-developer] Re: SPAD and Aldor again, Gabriel Dos Reis, 2006/11/17
- Re: [Axiom-developer] Re: SPAD and Aldor again, Martin Rubey, 2006/11/17
- Re: [Axiom-developer] Re: SPAD and Aldor again, Gabriel Dos Reis, 2006/11/17
- Re: [Axiom-developer] Re: SPAD and Aldor again, Martin Rubey, 2006/11/17
- Re: [Axiom-developer] Re: SPAD and Aldor again, Gabriel Dos Reis, 2006/11/17
- Re: [Axiom-developer] Re: SPAD and Aldor again, Martin Rubey, 2006/11/17