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

[Gabriel Dos Reis]

On Mon, 16 Oct 2006, Page, Bill wrote:

| 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?

Because inside the definition of T(), % is supposed to refer to the
domain defined, i.e. T.  Notice that the only thing that is needed to
be known is the type name.

| Perhaps you meant to write
|
|       Decl := Record(name: Symbol, type: %)

what would that % refers to?

| which seems to compile as expected?

But, we don't know the compiler is right.  Which is I'm asking.

-- Gaby