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? > Even once you've got your dependent signatures into axiom, it has to > (presumably) be able to interpret them, which will need a more complex type > matching process than what currently exists (I think). On the plus side, > doing this is a good step towards a real compiler. So, is there any way to make this happen? Money? Martin _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
