Platform SBCL : crash case 1

[Toshimi Sawada]

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

[Toshimi Sawada]

Resolved in commit f2a30e2. The cause of the problem was a bad type declaration of hash value of a term.

[Toshimi Sawada]

Fixed bad type declarations resolved the problem.