[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] Re: [Aldor-l] exports and constants
From: |
Ralf Hemmecke |
Subject: |
[Axiom-developer] Re: [Aldor-l] exports and constants |
Date: |
Tue, 25 Jul 2006 11:19:50 +0200 |
User-agent: |
Thunderbird 1.5.0.4 (X11/20060516) |
On 07/25/2006 07:16 AM, Christian Aistleitner wrote:
Hello
stdout << ( A has CatA) << newline;
stdout << ((A add) has CatA) << newline;
It still does not compile. But it should. Both A and "A add" are domains
of type CatA.
Why should (A add) be of static type CatA? (I assume you meant static
type although has checks the dynamic type, which of course is something
different. The Aldor compiler complains about the static type of "A add".)
If I read Section 7,8 of the AUG
http://www.aldor.org/docs/HTML/chap7.html#8
I would say the type of "A add" is CatA (the same as for "A").
From the AUG 7.8:
The type of the expression A add B is
C with { x1: T1; ...; xn: Tn }
here C is the type of A, and x1,...,xn are the symbols defined
(using ==) in B, whose types are T1,...,Tn, respectively.
Ralf
- [Axiom-developer] Re: [Aldor-l] exports and constants, (continued)
- [Axiom-developer] Re: [Aldor-l] exports and constants, Gabriel Dos Reis, 2006/07/24
- [Axiom-developer] Re: [Aldor-l] exports and constants, Ralf Hemmecke, 2006/07/24
- [Axiom-developer] Re: [Aldor-l] exports and constants, root, 2006/07/24
- [Axiom-developer] Re: [Aldor-l] exports and constants, Antoine Hersen, 2006/07/24
- [Axiom-developer] Re: [Aldor-l] exports and constants, Gabriel Dos Reis, 2006/07/24
- [Axiom-developer] RE: [Aldor-l] exports and constants, Bill Page, 2006/07/24
- [Axiom-developer] Re: [Aldor-l] exports and constants, Ralf Hemmecke, 2006/07/24
- [Axiom-developer] RE: [Aldor-l] exports and constants, Bill Page, 2006/07/24
- [Axiom-developer] Re: [Aldor-l] exports and constants, Ralf Hemmecke, 2006/07/25
- [Axiom-developer] Re: [Aldor-l] exports and constants, Christian Aistleitner, 2006/07/25
- [Axiom-developer] Re: [Aldor-l] exports and constants,
Ralf Hemmecke <=
- [Axiom-developer] Re: [Aldor-l] exports and constants, Christian Aistleitner, 2006/07/26
- [Axiom-developer] Re: [Aldor-l] exports and constants, Christian Aistleitner, 2006/07/25
- [Axiom-developer] Re: [Aldor-l] exports and constants, Ralf Hemmecke, 2006/07/24
[Axiom-developer] Re: [Aldor-l] exports and constants, Christian Aistleitner, 2006/07/21
[Axiom-developer] RE: [Aldor-l] exports and constants, Bill Page, 2006/07/23
[Axiom-developer] Re: [Aldor-l] exports and constants, Ralf Hemmecke, 2006/07/24