[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-mail] Equivalence between named domain and %
From: |
Gabriel Dos Reis |
Subject: |
[Axiom-mail] Equivalence between named domain and % |
Date: |
16 Oct 2006 18:14:57 -0500 |
Hello,
Consider the following code snipet:
)abbrev domain T T
Decl := Record(name: Symbol, type: T)
T(): Public == Private where
Public ==> with
type: Symbol -> %
decl: (Symbol, %) -> Decl
Private ==> add
decl(n,t) == [n,t]
The SPAD compiler complains on the definition of decl with the
following message
initializing NRLIB T for T
compiling into NRLIB T
compiling exported decl : (Symbol,$) -> Decl
****** comp fails at level 2 with expression: ******
error in function decl
(|construct| |n| | << t >> |)
****** level 2 ******
$x:= t
$m:= T$
$f:=
((((|t| # #) (|n| # #) (|t| #) (|n| #) ...)))
>> Apparent user error:
Cannot coerce t
of mode $
to mode T$
It looks like SPAD believes T is different from % within the
definition of T. Am I correct? Why is that?
Thanks,
-- Gaby
- [Axiom-mail] Equivalence between named domain and %,
Gabriel Dos Reis <=
- RE: [Axiom-mail] Equivalence between named domain and %, Page, Bill, 2006/10/16
- RE: [Axiom-mail] Equivalence between named domain and %, Gabriel Dos Reis, 2006/10/16
- RE: [Axiom-mail] Equivalence between named domain and %, Page, Bill, 2006/10/17
- Re: [Axiom-mail] Equivalence between named domain and %, root, 2006/10/17
- RE: [Axiom-mail] Equivalence between named domain and %, Page, Bill, 2006/10/17
- Re: [Axiom-mail] Equivalence between named domain and %, Gabriel Dos Reis, 2006/10/17
- Re: [Axiom-mail] Equivalence between named domain and %, Gabriel Dos Reis, 2006/10/17
- Re: [Axiom-mail] Equivalence between named domain and %, Waldek Hebisch, 2006/10/17
- Re: [Axiom-mail] Equivalence between named domain and %, Gabriel Dos Reis, 2006/10/17
- Re: [Axiom-mail] Equivalence between named domain and %, Waldek Hebisch, 2006/10/17