request for feature: compile and trace information

Dear all,

although I'm satisfied with the ECLiPSe environment, I once in a while run
into small problems that confuse me:


1) Sometimes, a small typo causes a compiler warning like
WARNING: predicate used but not declared or defined in constraint/2 in module eclipse

These typos can be hard to spot, eg

    constraint with [id: 0],

instead of

    C = constraint with [id: 0],

But where is the location of this typo?  Imagine several different files where
the string "constraint" being is used in predicate names as well as in
comments.  It would be of great help to get the same info as with, eg,
singleton variables.


2) Some of my predicates have many clauses.  If I trace such a predicate, I
sometimes get confused which clause currently gets executed.  Here, it would
help to access this information similar to G (print ancestors).


Thank you for all your help,

Uli

-- 
Ulrich Scholz

scholz@informatik.tu-darmstadt.de
http://www.intellektik.informatik.tu-darmstadt.de/~scholz