BrowserInformation

[Ralf Hemmecke]

Hi Waldek,

suppose I compile some .spad code containing a category/domain/package.

Is it true that there is no way to distinguish the newly added
constructor(s) from the built-in FriCAS constructors in the output of
any function of BrowserInformation?

No it is not that I wished for that, it's just that I want to make sure
that I have not overlooked something.

Ralf

[Waldek Hebisch]

Currently Users and Dependants info uses database build at compile
time, so you get compile time information. Otherwise information
should be current and include newly added or modified constructors.

If you want to distinguish newly added constructors you need to
something extra, for example look at SOURCEFILE which you can
get via get_database.

Compilation command used to maintain list of newly compiled
constructors, if that is needed we could restore this
functionality. Or, if that is enough you can copy list of
constructors present at system startup and later check of
constructor name is in the list.

I am not sure what you really want, but for me it is important
that user defined constructors have equal right to system
ones and BrowserInformation tries to treat them in the same
way. And if you modify system constructor HyperDoc shows
you info about modified version. Well, except for some
compromises, basically Users and Dependants info.

--
Waldek Hebisch