minor issue in recent HyperdocUtilities?

3 views
Skip to first unread message

Qian Yun

unread,
May 14, 2026, 7:34:10 AM (2 days ago) May 14
to fricas-devel
Also function "arg_to_string" is not used.

(Found by LLM.) Seems reasonable to me.

Waldek, if you agree with that, feel free to commit corrections.

- Qian

diff --git a/src/algebra/hypertex.spad b/src/algebra/hypertex.spad
index 115cee72..6a65f891 100644
--- a/src/algebra/hypertex.spad
+++ b/src/algebra/hypertex.spad
@@ -1774,7 +1774,7 @@
predicate_to_strings(destruct(p)(2), do_link, acc)
op = 'has =>
has_to_strings(destruct(cdr(p)), do_link, acc)
- error "emit_predicate: unimplemented"
+ error "predicate_to_strings: unimplemented"

condition_to_string(p : SE) : String ==
ls := predicate_to_strings(p, false, [])
@@ -1849,7 +1849,7 @@
"unexpected argument value4"
lss : List(String) := ["["]
first1 : Boolean := true
- for s1 in lss repeat
+ for s1 in ls1l repeat
if not(first1) then
lss := cons(", ", lss)
first1 := false

Qian Yun

unread,
May 14, 2026, 7:41:03 AM (2 days ago) May 14
to fricas-devel
Another minor issue in another recent commit:

Line 1127 of src/interp/i-syscmd.boot has unbalanced parenthesis,
why didn't boot compiler throws error about it?

- Qian

Waldek Hebisch

unread,
May 14, 2026, 9:54:16 PM (2 days ago) May 14
to fricas...@googlegroups.com
Unfortunatly, Boot translator just skips erroneous functions.

--
Waldek Hebisch

Qian Yun

unread,
May 15, 2026, 6:27:32 AM (23 hours ago) May 15
to fricas...@googlegroups.com
One more minor issue in commit 811f18ac
"More case sensitive command handling":

In setvars.boot, in "set_output_gen", is YES/NO/ON/OFF
still supported or not?

- Qian

Waldek Hebisch

unread,
May 15, 2026, 9:16:59 AM (20 hours ago) May 15
to fricas...@googlegroups.com
On Fri, May 15, 2026 at 06:27:28PM +0800, Qian Yun wrote:
> One more minor issue in commit 811f18ac
> "More case sensitive command handling":
>
> In setvars.boot, in "set_output_gen", is YES/NO/ON/OFF
> still supported or not?

My intent was to handle them: since it is yes/no answer there is no risk of
confusion. But I see that corresponding case is missing.

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