axiom-developer
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Axiom-developer] debugging information


From: root
Subject: [Axiom-developer] debugging information
Date: Wed, 19 Oct 2005 18:31:42 -0400

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




reply via email to

[Prev in Thread] Current Thread [Next in Thread]