"init_special_db_data" not called in recent commit

9 views
Skip to first unread message

Qian Yun

unread,
Apr 8, 2024, 7:32:57 AM4/8/24
to fricas-devel
"init_special_db_data" is defined but not called in recent commit.

- Qian

Waldek Hebisch

unread,
Apr 8, 2024, 9:41:16 AM4/8/24
to fricas...@googlegroups.com
On Mon, Apr 08, 2024 at 07:32:52PM +0800, Qian Yun wrote:
> "init_special_db_data" is defined but not called in recent commit.

Thanks. The intent was to call it immediately after definition.
However, it turns out that HyperDoc pages for builtin constructors
are defined earlier, and part that motivated change is not needed
(we still need part definiting operations). I will commit changed
version when it passes tests.

--
Waldek Hebisch

Waldek Hebisch

unread,
Apr 8, 2024, 11:56:13 AM4/8/24
to fricas...@googlegroups.com
On Mon, Apr 08, 2024 at 07:32:52PM +0800, Qian Yun wrote:
> "init_special_db_data" is defined but not called in recent commit.

Looking more art this: Main pages for buitin constructors (that
is Record, Union, Mapping and Enumaration) are in .ht files
(actually, file for Enumaration was missing but I created one
in my developement tree). Those pages link to descriptions
and operations from "documentation" property, which is initialized
by code involved in the patch. .ht files also contain a description,
so we could use description in .ht files. Concerning operations,
in principle we could get list operations from domains.

Anyway, it seems that we can use descriptions in .ht pages and
remove code handling descriptions from 'br-con.boot'. Also,
Union page contains link to 'Exports' but this is just a
sillynes: it repeats information about operations without
sayning anything about categories. So I think we should remove
'Exports' part for unions (and related code in 'br-con.boot').

--
Waldek Hebisch
Reply all
Reply to author
Forward
0 new messages