Platform SBCL : crash case 1
Issue #3
resolved
SBCL version crashes with this case
open NAT .
ops n1 n2 : -> Nat .
trans n1 => n1 .
trans n1 => n2 .
-- eof
-- (1)
red n1 =(*,1)=>* NNN:Nat .
-- (2)
red n1 =(*,1)=>+ NNN:Nat .
close
Comments (2)
-
reporter -
reporter - changed status to resolved
Fixed bad type declarations resolved the problem.
- Log in to comment
Resolved in commit f2a30e2. The cause of the problem was a bad type declaration of hash value of a term.