Package: hol88
Version: 2.02.19940316-8
I have reproducible crashes of hol88 on a completely up-to-date Debian
Lenny installation.
Error message:
The following is a minimal session in hol88, ending with the program crashing:
there are only 2 commands i entered, in the lines beginning with '#'
"
===============================================================================
HOL88 Version 2.02 (GCL), built on 2/8/8
===============================================================================
#load_library `taut`;;
Loading library taut ...
Updating help search path
........................................
Library taut loaded.
() : void
#let rewrite_list = [ADD_CLAUSES; MULT_CLAUSES];;
Error: Caught fatal error [memory may be damaged]
Fast links are on: do (si::use-fast-links nil) for debugging
Segmentation fault
b...@bigfoot:~/hol$
"
Giving the same commands the other way round also caused the program
to crash, but not any one of the commands alone:
"
===============================================================================
HOL88 Version 2.02 (GCL), built on 2/8/8
===============================================================================
#let rewrite_list = [ADD_CLAUSES;MULT_CLAUSES];;
Theorem MULT_CLAUSES autoloading from theory `arithmetic` ...
Error: Cannot open the file arithmetic.th.
Fast links are on: do (si::use-fast-links nil) for debugging
Error signalled by FUNCALL.
Backtrace: funcall > system:top-level > system:error-set > funcall >
funcall > system:error-set > funcall > funcall > lambda > cons >
fun%509%98 > system:error-set > funcall > funcall
evaluation failed theorem -- arithmetic theory missing
Theorem ADD_CLAUSES autoloading from theory `arithmetic` ...
Error: Cannot open the file arithmetic.th.
Fast links are on: do (si::use-fast-links nil) for debugging
Error signalled by FUNCALL.
Backtrace: funcall > system:top-level > system:error-set > funcall >
funcall > system:error-set > funcall > funcall > lambda > cons >
fun%509%98 > system:error-set > funcall > funcall
evaluation failed theorem -- arithmetic theory missing
unbound or non-assignable variable ADD_CLAUSES
unbound or non-assignable variable MULT_CLAUSES
2 errors in typing
typecheck failed
#load_library `taut`;;
Loading library taut ...
Updating help search path
.
Error: Caught fatal error [memory may be damaged]
Fast links are on: do (si::use-fast-links nil) for debugging
Segmentation fault
b...@bigfoot:~/hol$
"
b...@bigfoot:~/hol$ dpkg -s hol88
Package: hol88
Status: install ok installed
Priority: optional
Section: math
Installed-Size: 44540
Maintainer: Camm Maguire <[email protected]>
Architecture: i386
Version: 2.02.19940316-8
Depends: libc6 (>= 2.7-1), libgmp3c2, libice6 (>= 1:1.0.0),
libncurses5 (>= 5.6+20071006-3), libreadline5 (>= 5.2), libsm6,
libx11-6, libxaw7, libxext6, libxmu6, libxt6
Description: ...
--
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]
