#3 Stack overflow...

[Anonymous]

The emacsagda program is sometimes rather too
talkative, and can hand hundreds or thousands of lines
of information to the emacs interface, resulting in the
error messages

error in process filter: while: Stack overflow in
regexp matcher
error in process filter: Stack overflow in regexp matcher

over, and over again.

This causes the emacs interface and the typechecker to
lose synchronization, and the typechecker needs to be
restarted before I can continue working (of course, I
need to change the text first, too).

I can provide code causing this on request.

/olov

(wilander, math uu se)

[Anonymous]

Logged In: YES
user_id=1151788

Well known problem mainly "outside" Agda (in emacslisp),
therefore low priority.