Qian Yun
unread,May 14, 2026, 7:34:10 AM (2 days ago) May 14Sign in to reply to author
Sign in to forward
You do not have permission to delete messages in this group
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message
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