Added error checking in the graphs-typed benchmark.
This commit is contained in:
parent
1ac3f6905f
commit
63be1f51ed
|
@ -377,9 +377,8 @@
|
||||||
state))
|
state))
|
||||||
((more)
|
((more)
|
||||||
(accross state))
|
(accross state))
|
||||||
;;(else
|
(else
|
||||||
;; (assert #f))
|
(error "can't happen"))))
|
||||||
))
|
|
||||||
0
|
0
|
||||||
(lambda: ((leaf-depth : Integer)
|
(lambda: ((leaf-depth : Integer)
|
||||||
(state : Boolean)
|
(state : Boolean)
|
||||||
|
@ -504,9 +503,8 @@
|
||||||
#f)
|
#f)
|
||||||
((equal more)
|
((equal more)
|
||||||
(accross #t))
|
(accross #t))
|
||||||
;(else
|
(else
|
||||||
; (assert #f))
|
(error "can't happen"))))))
|
||||||
))))
|
|
||||||
(lambda ()
|
(lambda ()
|
||||||
(minimal-folder root
|
(minimal-folder root
|
||||||
edge?
|
edge?
|
||||||
|
|
Loading…
Reference in New Issue
Block a user