From 6e5a7fa845cd643d72a5bfe3af599f61b4083e8f Mon Sep 17 00:00:00 2001 From: Sergiu Ivanov Date: Tue, 9 Jun 2020 20:06:36 +0200 Subject: [PATCH] functions: Make all tabulate functions take procedures of fixed arity. --- functions.rkt | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/functions.rkt b/functions.rkt index b45b02e..7a082e6 100644 --- a/functions.rkt +++ b/functions.rkt @@ -15,10 +15,10 @@ [struct tbf ((weights number?) (threshold (vectorof number?)))]) ;; Functions (contract-out - [tabulate (-> procedure? (listof generic-set?) (listof list?))] - [tabulate* (-> (listof procedure?) (listof generic-set?) (listof list?))] + [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?) (listof list?))] + [tabulate*/boolean (-> (non-empty-listof procedure-fixed-arity?) (listof list?))] [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?))))]