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.