wolff@dawn:~/softech/src/HOL-Z/examples/zeta/cvs-server$
(reverse-i-search)`':
Fatal error (11).
Your files have been auto-saved.
Use `M-x recover-session' to recover them.
If you have access to the PROBLEMS file that came with your
version of XEmacs, please check to see if your crash is described
there, as there may be a workaround available.
Otherwise, please report this bug by running the send-pr
script included with XEmacs, or selecting `Send Bug Report'
from the help menu.
As a last resort send ordinary email to `crashes(a)xemacs.org'.
*MAKE SURE* to include the information in the command
M-x describe-installation.
If at all possible, *please* try to obtain a C stack backtrace;
it will help us immensely in determining what went wrong.
To do this, locate the core file that was produced as a result
of this crash (it's usually called `core' and is located in the
directory in which you started the editor, or maybe in your home
directory), and type
gdb /usr/bin/xemacs core
then type `where' when the debugger prompt comes up.
(If you don't have GDB on your system, you might have DBX,
or XDB, or SDB. A similar procedure should work for all of
these. Ask your system administrator if you need more help.)
Lisp backtrace follows:
viper-mode()
toggle-viper-mode()
(progn (toggle-viper-mode) (customize-set-variable (quote viper-mode)
viper-mode))
eval((progn (toggle-viper-mode) (customize-set-variable (quote
viper-mode) viper-mode)))
# (condition-case ... . error)
# (unwind-protect ...)
read-minibuffer-internal("Find file: ")
byte-code("..." [standard-output standard-input prompt recursion-depth
minibuffer-depth t read-minibuffer-internal] 2)
# (catch exit ...)
# bind (mouse-grabbed-buffer current-prefix-arg
minibuffer-history-variable minibuffer-history-position
minibuffer-scroll-window)
# (unwind-protect ...)
# bind (minibuffer-default _history_ oconfig mconfig frame buffer
window oframe owindow dir default abbrev-table history readp keymap
initial-contents prompt)
read-from-minibuffer("Find file: "
"~/softech/src/HOL-Z/examples/zeta/cvs-server/" #<keymap
read-file-name-map size 2 0xdb8> nil file-name-history nil nil)
# bind (minibuffer-completion-table minibuffer-completion-predicate
minibuffer-completion-confirm last-exact-completion insert completer
initial-contents must-match default dir prompt history)
read-file-name-2(file-name-history "Find file: " nil nil nil nil
read-file-name-internal)
# bind (completer initial-contents must-match default dir prompt
history type)
read-file-name-1(file file-name-history "Find file: " nil nil nil nil
read-file-name-internal)
# bind (history initial-contents must-match default dir prompt)
read-file-name("Find file: " nil nil nil)
call-interactively(find-file)
# (condition-case ... . error)
# (unwind-protect ...)
read-minibuffer-internal("File to save in: ")
byte-code("..." [standard-output standard-input prompt recursion-depth
minibuffer-depth t read-minibuffer-internal] 2)
# (catch exit ...)
# bind (mouse-grabbed-buffer current-prefix-arg
minibuffer-history-variable minibuffer-history-position
minibuffer-scroll-window)
# (unwind-protect ...)
# bind (minibuffer-default _history_ oconfig mconfig frame buffer
window oframe owindow dir default abbrev-table history readp keymap
initial-contents prompt)
read-from-minibuffer("File to save in: "
"~/softech/src/HOL-Z/examples/zeta/cvs-server/holz/" #
<keymap read-file-name-map size 2 0xdb8> nil file-name-history nil nil)
# bind (minibuffer-completion-table minibuffer-completion-predicate
minibuffer-completion-confirm last-exact-completion insert completer
initial-contents must-match default dir prompt history)
read-file-name-2(file-name-history "File to save in: " nil nil nil nil
read-file-name-internal)
# bind (completer initial-contents must-match default dir prompt
history type)
read-file-name-1(file file-name-history "File to save in: " nil nil
nil nil read-file-name-internal)
# bind (history initial-contents must-match default dir prompt)
read-file-name("File to save in: ")
# bind (recent-save)
# (unwind-protect ...)
basic-save-buffer()
# bind (modp large make-backup-files args)
save-buffer(1)
# bind (command-debug-status)
call-interactively(save-buffer)
# (condition-case ... . error)
# (catch top-level ...)
wolff@dawn:~/softech/src/HOL-Z/examples/zeta/cvs-server$
[1]- Speicherzugriffsfehler xemacs Refinement.ML (wd:
~/softech/src/HOL-Z/examples/zeta/cvs-server/holz)
(wd now: ~/softech/src/HOL-Z/examples/zeta/cvs-server)
wolff@dawn:~/softech/src/HOL-Z/examples/zeta/cvs-server$
wolff@dawn:~/softech/src/HOL-Z/examples/zeta/cvs-server$ gdb
/usr/bin/xemacs core
GNU gdb 2002-04-01-cvs
Copyright 2002 Free Software Foundation, Inc.
GDB is free software, covered by the GNU General Public License, and you
are
welcome to change it and/or distribute copies of it under certain
conditions.
Type "show copying" to see the conditions.
There is absolutely no warranty for GDB. Type "show warranty" for
details.
This GDB was configured as "i386-linux"...(no debugging symbols
found)...
/home/wolff/softech/src/HOL-Z/examples/zeta/cvs-server/core: No such
file or directory.
(gdb) where
No stack.
(gdb) Quit
--
Burkhart Wolff <wolff(a)informatik.uni-freiburg.de>