From 2460d56d047126922c15a51190d9f52b77d6840d Mon Sep 17 00:00:00 2001 From: Sergiu Ivanov Date: Mon, 1 Nov 2021 10:04:44 +0100 Subject: [PATCH] Improve the types in bfs/generalized and dfs/generalized. --- graph.rkt | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/graph.rkt b/graph.rkt index 47994ea..b8d95d4 100644 --- a/graph.rkt +++ b/graph.rkt @@ -275,8 +275,8 @@ [bfs/generalized (->* (Graph Any) (#:init-queue Any ; TODO: Add a proper type. #:break (-> Graph Any Any Any Boolean) - #:init (-> Graph Any Void) - #:visit? (-> Graph Any Any Any Boolean) + #:init (U (-> Graph Any Void) Void) + #:visit? (U (-> Graph Any Any Any Boolean) False) #:discover (-> Graph Any Any Any Any Any) #:visit (-> Graph Any Any Any Any) #:return (-> Graph Any Any Any)) @@ -290,9 +290,9 @@ [dfs/generalized (->* (Graph) (#:order (-> (Listof Any) (Listof Any)) #:break (-> Graph Any Any Any Boolean) - #:init (-> Graph Void) + #:init (U (-> Graph Void) Void) #:inner-init (-> Any Any) - #:visit? (-> Graph Any Any Boolean) + #:visit? (U (-> Graph Any Any Boolean) False) #:prologue (-> Graph Any Any Any Any) #:epilogue (-> Graph Any Any Any Any) #:process-unvisited? (-> Graph Any Any Boolean)