Greetings! 2.7 has a much faster safety mode. I'd like to get some
consensus on how to define it.
Proposal:
safety 1 -- compiled functions and macros check their argument numbers
and types
safety 2 -- inlined function calls in compiled functions and macros
check their argument numbers and types
safety 3 -- all variables and function args of type t, no source inlining, no
branch-elimination, no type propagation. fast-linking is
still permitted.
Separately, which of these should be goverened as well by
compilation-speed and/or speed settings?
Separately, can GCL compilation be considered fast enough if GCL
proper is kept to a small fraction of gcc compilation time?
real time : 71.680 secs
run-gbc time : 15.810 secs
child run time : 48.320 secs
gbc time : 5.640 secs
Take care,
--
Camm Maguire [EMAIL PROTECTED]
==========================================================================
"The earth is but one country, and mankind its citizens." -- Baha'u'llah
_______________________________________________
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer
