suzanne.soy/phc-adt
1
0
Fork 0
Code Issues 11 Pull Requests 1 Actions Packages Projects Releases Wiki Activity

WIP on a fix

Browse Source
This commit is contained in:
Suzanne Soy 2021-04-04 07:07:17 +01:00
parent 7364ed6b29
commit 28547d4d79
1 changed files with 8 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
phc-adt-lib/phc-adt/node-low-level.hl.rkt
View File

@ -105,10 +105,16 @@ same if the @tc[database] and @tc[index] is the same for both nodes.
(equal? (raw-node-index a) (raw-node-index b)))) (equal? (raw-node-index a) (raw-node-index b))))
(λ (a r) (λ (a r)
(fxxor (eq-hash-code (raw-node-database a)) (fxxor (eq-hash-code (raw-node-database a))
(r (raw-node-index a)))) (let ([i (r (raw-node-index a))])
(if (fixnum? i)
i
(error "index too big")))))
(λ (a r) (λ (a r)
(fxxor (eq-hash-code (raw-node-database a)) (fxxor (eq-hash-code (raw-node-database a))
(r (raw-node-index a)))))] (let ([i (r (raw-node-index a))])
(if (fixnum? i)
i
(error "index too big"))))))]
The following function can then be used to test if two nodes are the same, based The following function can then be used to test if two nodes are the same, based
on the contents of their @tc[raw] field: on the contents of their @tc[raw] field: