On Wed, Jul 24, 2024 at 4:22 PM Sven Schreiber
<sven.schreiber(a)fu-berlin.de> wrote:
is the "no_const" specification for the ui-maker apparatus for a
function package GUI really working as intended? I seem to have a case
where I have a ui-maker function that requests no_const for a list
argument X, but I can execute the function with X = const alright. BTW,
X is set to have a "null" default, if that matters. Or does no_const
really mean that any constant term is removed quietly?
I don't have time to give a minimal example right now, but I could do so
on Friday or so, if necessary.
Please do. This may be redundant, but of course the "no_const"
specification only applies to GUI usage.
Allin