[Axiom-developer] Re: [Maxima] 2.7.0 nqthm compile times

2007-06-25 Thread Matt Kaufmann
Regarding: >> My advice: ignore user-supplied ftype declaims. I don't have any problem with that as the default behavior. But I'd like to be able to override that "ignore" -- that's what I was trying to say in this part of my reply yesterday (where here I've tried to eliminate some ambiguity in

[Axiom-developer] Re: [Maxima] 2.7.0 nqthm compile times

2007-06-25 Thread Robert Dodier
Camm, Thanks a lot for your work on GCL. My only comment about recompiling policy is that I hope that the system remains in a safe state by default. About this, A final question remains of whether or not to actually use ftype declaims if provided. My advice: ignore user-supplied ftype decla

[Axiom-developer] RE: [Maxima] 2.7.0 nqthm compile times

2007-06-22 Thread Richard Fateman
The Franz Lisp system (on the VAX) had a file-compiler feature which allowed you to group functions that were (in today's nomenclature) private, and could only be called from functions in that file. It was not possible to redefine such internal functions without recompiling the file. The externa