[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,
though.
On Fr, 21.07.2006, 02:12, Ralf Hemmecke wrote:
> ---BEGIN aaa.as
> #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...
Martin
[Axiom-developer] Re: [Aldor-l] exports and constants, Christian Aistleitner, 2006/07/21
- [Axiom-developer] Re: [Aldor-l] exports and constants, Ralf Hemmecke, 2006/07/21
- [Axiom-developer] Re: [Aldor-l] exports and constants, Christian Aistleitner, 2006/07/24
- [Axiom-developer] Re: [Aldor-l] exports and constants, Ralf Hemmecke, 2006/07/24
- Re: [Axiom-developer] Re: [Aldor-l] exports and constants, Gabriel Dos Reis, 2006/07/24
- RE: [Axiom-developer] Re: [Aldor-l] exports and constants, Bill Page, 2006/07/24