[Axiom-developer] RE: non extending category

[Bill Page]

Tim,

You wrote:

> 
> i don't see any error message on the wiki page about 'non-extending
> category'
> 

I agree that there is no explicitly marked error message - maybe just
"informative" output from the compiler, but the phrase:

  xxx ... has no
  yyy

makes is seem like this might be an error.

See:

http://wiki.axiom-developer.org/SandBoxJetBundleExpression

Scroll down until you see the first grey-shaded "+spad" on the
right hand side. Click on the + to expand the compiler output.
Scroll down some more until you see "non extending category".
There you see a very long line of compiler output. User vertical
scroll to see " ... has no ..." right near the end of the line
which continues on to the next line.

Thanks.

Bill Page.