I don't think so here. I think, but not tested, that this can
reproduce this issue. It's an extremely simple domain with a Rep being
an SExpression and apparently the offending code is:
Rep := SExpression
0 == convert 0
1 == convert 1
And yes, I know that it is not good to use SExpression, like Any is
also not Axiom/FriCAS-ish
Le sam. 27 janv. 2024 à 16:32, Waldek Hebisch <[email protected]> a écrit :
>
> On Sat, Jan 27, 2024 at 04:08:34PM +0100, Grégory Vanuxem wrote:
> > Hello,
> >
> > I could not give some code, it's too complicated but maybe that could
> > help in some way to improve FriCAS. I just encountered that:
> >
> > >> System error:
> > The variable |/throwAway| is unbound.
> >
> > I absolutely do not know where/what it means.
>
> Typical reason is an 'if' expression where one of branches
> produces no real value. Spad typechecker should catch
> such things, but sometimes they propagate to runtime.
>
> This may also happen in Boot code (probably majority of cases).
>
> --
> Waldek Hebisch
>
> --
> You received this message because you are subscribed to the Google Groups
> "FriCAS - computer algebra system" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to [email protected].
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/fricas-devel/ZbUh817txzIGYUrx%40fricas.org.
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/fricas-devel/CAHnU2datCOmJf2FWDtVvkR%3DEt6OOXCXA-Xm-GB9%2BfAdyxBWm%3Dg%40mail.gmail.com.
