[Axiom-mail] Equivalence between named domain and %

[Gabriel Dos Reis]

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