From 512de1a9634f86163ba2b2b7f293787e148d1d98 Mon Sep 17 00:00:00 2001 From: Sergiu Ivanov Date: Wed, 10 Jun 2020 23:03:25 +0200 Subject: [PATCH] functions,tabulate*/boolean: Make the output contract more exact. --- functions.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/functions.rkt b/functions.rkt index 7a082e6..92dfada 100644 --- a/functions.rkt +++ b/functions.rkt @@ -18,7 +18,7 @@ [tabulate (-> procedure-fixed-arity? (listof generic-set?) (listof list?))] [tabulate* (-> (listof procedure-fixed-arity?) (listof generic-set?) (listof list?))] [tabulate/boolean (-> procedure-fixed-arity? (listof (listof boolean?)))] - [tabulate*/boolean (-> (non-empty-listof procedure-fixed-arity?) (listof list?))] + [tabulate*/boolean (-> (non-empty-listof procedure-fixed-arity?) (listof (listof boolean?)))] [table->function (-> (listof (*list/c any/c any/c)) procedure?)] [table->function/list (-> (listof (*list/c any/c any/c)) procedure?)] [enumerate-boolean-tables (-> number? (stream/c (listof (*list/c boolean? boolean?))))]