Ralf Hemmecke wrote:
>
> > I can not reproduce this result: I get the same code without
> > explicitely declaring 'z'.
>
> Arrrrhh. I'm sorry. Unfortunately, I got confused from my own multiple
> rewriting of the code.
>
> This is what I used.
>
> https://github.com/hemmecke/fricas/commit/15adb047b4962f4642e251139da18104550b79a2
>
> - z := INTEXQUO(x, y)$Lisp
> + z: % := (INTEXQUO(x, y)$Lisp) pretend %
>
> And for the "-" line it is somewhat clear to me that the compiler will
> have hard times to figure out something reasonable.
I have commited a patch to compiler so that such untyped Lisp forms
are rejected. While they freqently work, they may lead to crazy
choice of signatures, with the union case beeing particularly
dangerous.
--
Waldek Hebisch
[email protected]
--
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 post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
