syndicate-lang
/
syndicate-2017
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Canonicalize treap-empty result

This commit is contained in:
Tony Garnock-Jones 2016-03-10 18:24:56 +00:00
parent b9954c0f9e
commit e7c9bcfa8f
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
prospect/treap.rkt
View File

@ -71,7 +71,7 @@
;; The singleton "empty" leaf sentinel
(define L0 (L))
(define (treap-empty o) (treap o L0 0))
(define (treap-empty o) (canonicalize (treap o L0 0)))
(define (treap-empty? t) (zero? (treap-size t)))