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

problem with the stepper



I don't know how to get rid of the 

"   2: (AND (CONSP EXCL::X)
           (LET ((EXCL::X #)) (MEMBER EXCL::X '`EXCL::BQ-QUOTE)))
"
when I use the stepper. Someone know the solution or the cause of
that.

Example:
-----------------------------------------------------------

USER(35): (setq *inconnu* 
  (make-instance 'schema-inconnu
    :r-visuelle "12+34"))
#<SCHEMA-INCONNU @ #xe708d6>
USER(36): (step search**)
; Fast loading from bundle code/step.fasl.
0
USER(37): (interprete *inconnu*)

-------------BEFORE------------------
-----------SCHEMA-INCONNU---------------------
vector[3]
0 <instance de classe SUITE-DE-CHIFFRES-CL : #(12)>
1 <instance de classe SYMB+ : #(+)>
2 <instance de classe SUITE-DE-CHIFFRES-CL : #(34)>
no: 1 **                objet-central :#<SYMB+>
classe-possible :NOMBRES-ENTIERS-POSITIFS 
syntaxe : #(SYMB+ SUITE-DE-CHIFFRES-CL)

PARENT-NIL  1: (SEARCH** (R-PSYCHO SCHEMA) (POS-CIBLE SCHEMA)
                         (CLASSE-POSSIBLE SCHEMA) (SYNTAXE-POSSIBLE SCHEMA))
[step] USER(38): 
  2: (R-PSYCHO SCHEMA)
[step] USER(38): :so
  result 2: #(#<SUITE-DE-CHIFFRES-CL @ #xe709ee> #<SYMB+ @ #xe71eb6>
              #<SUITE-DE-CHIFFRES-CL @ #xe72ede>)
  2: (POS-CIBLE SCHEMA)
[step] USER(39): :so
  result 2: 1
  2: (CLASSE-POSSIBLE SCHEMA)
[step] USER(40): :so
  result 2: NOMBRES-ENTIERS-POSITIFS
  2: (SYNTAXE-POSSIBLE SCHEMA)
[step] USER(41): :so
  result 2: #(SYMB+ SUITE-DE-CHIFFRES-CL)
  2: T => T
   2: (AND (CONSP EXCL::X)
           (LET ((EXCL::X #)) (MEMBER EXCL::X '`EXCL::BQ-QUOTE)))
[step] USER(42): :so
  result 2: NIL
0:   2: (AND (CONSP EXCL::X)
             (LET ((EXCL::X #)) (MEMBER EXCL::X '`EXCL::BQ-QUOTE)))
[step] USER(43): :so
  result 2: NIL
  2: (AND (CONSP EXCL::X) (LET ((EXCL::X #)) (MEMBER EXCL::X '`EXCL::BQ-QUOTE)))
[step] USER(44): :so
  result 2: NIL
  2: (AND (CONSP EXCL::X) (LET ((EXCL::X #)) (MEMBER EXCL::X '`EXCL::BQ-QUOTE)))
[step] USER(45): :so
  result 2: NIL
  2: (AND (CONSP EXCL::X) (LET ((EXCL::X #)) (MEMBER EXCL::X '`EXCL::BQ-QUOTE)))
[step] USER(46): :so
  result 2: NIL
  2: (AND (CONSP EXCL::X) (LET ((EXCL::X #)) (MEMBER EXCL::X '`EXCL::BQ-QUOTE)))
[step] USER(47): :so
  result 2: NIL
  2: (AND (CONSP EXCL::X) (LET ((EXCL::X #)) (MEMBER EXCL::X '`EXCL::BQ-QUOTE)))
[step] USER(48): :so
  result 2: NIL
  2: (AND (CONSP EXCL::X) (LET ((EXCL::X #)) (MEMBER EXCL::X '`EXCL::BQ-QUOTE)))
[step] USER(49): :so
  result 2: NIL
  2: (AND (CONSP EXCL::X) (LET ((EXCL::X #)) (MEMBER EXCL::X '`EXCL::BQ-QUOTE)))
[step] USER(50): :so
  result 2: NIL
  2: (AND (CONSP EXCL::X) (LET ((EXCL::X #)) (MEMBER EXCL::X '`EXCL::BQ-QUOTE)))
[step] USER(51): :so
  result 2: NIL
(SEARCH** #(#<SUITE-DE-CHIFFRES-CL @ #xe709ee> #<SYMB+ @ #xe71eb6>
  2: (AND (CONSP EXCL::X) (LET ((EXCL::X #)) (MEMBER EXCL::X '`EXCL::BQ-QUOTE)))
[step] USER(52): :so
  result 2: NIL
  2: (AND (CONSP EXCL::X) (LET ((EXCL::X #)) (MEMBER EXCL::X '`EXCL::BQ-QUOTE)))
[step] USER(53): :so
  result 2: NIL
  2: (AND (CONSP EXCL::X) (LET ((EXCL::X #)) (MEMBER EXCL::X '`EXCL::BQ-QUOTE)))
[step] USER(54): :so
  result 2: NIL
  2: (AND (CONSP EXCL::X) (LET ((EXCL::X #)) (MEMBER EXCL::X '`EXCL::BQ-QUOTE)))
[step] USER(55): :so
  result 2: NIL
               #<SUITE-DE-CHIFFRES-CL @ #xe72ede>)
  2: (AND (CONSP EXCL::X) (LET ((EXCL::X #)) (MEMBER EXCL::X '`EXCL::BQ-QUOTE)))
[step] USER(56)::so :so
  result 2: NIL
             1 NOMBRES-ENTIERS-POSITIFS #(SYMB+ SUITE-DE-CHIFFRES-CL))
  2: NIL => NIL
  2: (BLOCK SEARCH** (LET ((P #)) (COND (# NIL) (# #))))
[step] USER(57): :so
  result 2: #(#<SUITE-DE-CHIFFRES-CL @ #xe709ee>
              #<NOMBRES-ENTIERS-POSITIFS @ #xe8c95e>)
  2: NIL => NIL
   2: (AND (CONSP EXCL::X)
           (LET ((EXCL::X #)) (MEMBER EXCL::X '`EXCL::BQ-QUOTE)))
 ...
 ...

It can be very long 
-----------------------------------------------------------

Bonne Journee

-----------------------------------------
Andre Mayers (mayers@iro.UMontreal.CA)
-----------------------------------------