On Tue, Jul 28, 2020 at 12:29:19PM +0200, Ralf Hemmecke wrote:
> I realized that the variable is needed in jfricas.
>
> But there seem to be assertions predefined that do not make sense anymore.
>
> https://github.com/fricas/fricas/blob/master/src/interp/int-top.boot#L150
>
> $inclAssertions: local := ["AIX", "CommonLisp"] -- Jan 28/90
>
> Neither AIX nor CommonLisp are otherwise used in FriCAS code. Thus we
> could as well set $inclAssertions to NIL.
>
> Comments?
I am not sure what you mean by "is needed in jfricas". The
intent of this variable should be clear: it collects current
assertions used when reading files. In particular you can do
conditional compilations based on assertions. Built in
assertions allows making distinctions based on implementation
features. Corrently we do not use built in assertions, but
they are here if we need them in the future. "AIX" does not
make much sense, it did not bother me too much, but if you
are confused we may remove it. "CommonLisp" is sensible.
BTW: I keep (or kept) some thing as-is simply because then from
the history it is clear that code is old and may need update to
changed reality. Partial changes may suggest that code is
up to date leading to confusion.
--
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/20200728120328.GA13816%40math.uni.wroc.pl.
