Ralf Hemmecke wrote:
> 
> I would have expected that the following program is rejected by the
> compiler, since instead of
> 
>         dbgprintx("all", all::OutputForm)
> 
> I have only written
> 
>         dbgprintx("all", all:OutputForm)
> 
> Needless to say that the program does not implement coerce:%->OuputForm
> and should be rejected anyway.

Looks like a bug.  It seems that compiler decided that 'all:OutputForm'
is just a declaration of local variable 'all'.  AFAICS generated
code will fail.

-- 
                              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.

Reply via email to