I'm in the debugsys image chasing a few things and came across this
interesting variable. In an axiom image type:

  )lisp (setq |$reportInstantiations| t)

and then type an expression such as 

 -> 1

# instantiated/# dropped/domain name

1 0 PositiveInteger
1 0 OutputForm
1 0 NonNegativeInteger
1 0 List OutputForm
1 0 Integer
 Totals: 5 instantiated
         0 inside coerceInteractive
         0 inside canCoerceFrom
         0 inside evalMmCond
         0 reinstantiated
         0 dropped
         5 distinct domains instantiated/dropped

I'm not sure how useful you'll find that information but it's useful
to know you can get it. I'm writing a chapter on debugging in book 4
of the axiom volumes which will contain this and other debugging tips,
techniques and useful tidbits.

Tim


_______________________________________________
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer

Reply via email to