[Top][All Lists]

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

Re: [Axiom-developer] Re: [Aldor-l] exports and constants

From: Martin Rubey
Subject: Re: [Axiom-developer] Re: [Aldor-l] exports and constants
Date: Fri, 21 Jul 2006 07:58:42 +0200 (CEST)
User-agent: SquirrelMail/1.4.5

Dear all,

I made yet another experiment (on SandBox7, no ssh here), and tested
whether in the code below H would have SomeCat. It does not. B has,

On Fr, 21.07.2006, 02:12, Ralf Hemmecke wrote:
> ---BEGIN
> #include "aldor"
> import from String, TextWriter, Character;
> define CatA: Category == with { }
> define CatB: Category == with { }
> define SomeCat: Category == with { CatA; CatB; }
> Dom: SomeCat == Integer add;
> A == Dom;
> B: CatA == Dom;
> H: CatA == Dom add;

In any case, it would be good to have *one* example program, that
demonstrates as many possibilities as we can think of...


reply via email to

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