RE: [Axiom-mail] Equivalence between named domain and %

[Page, Bill]

Gaby, 

On Monday, October 16, 2006 7:15 PM you wrote:
> 
>   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

Why would you consider the type T itself to be known in the scope
where the value of Decl is computed?

Perhaps you meant to write

      Decl := Record(name: Symbol, type: %)

which seems to compile as expected?

Regards,
Bill Page.