Peter Broadbery <[EMAIL PROTECTED]> writes: > On Fri, 2006-11-17 at 11:36 +0100, Martin Rubey wrote: > > Peter Broadbery <[EMAIL PROTECTED]> 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 mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
