From 7973ed10a2013638b6d31a367ad20e124738f23c Mon Sep 17 00:00:00 2001 From: Matthew Butterick Date: Sat, 26 Dec 2020 19:38:09 -0800 Subject: [PATCH] error --- csp/csp/hacs.rkt | 2 ++ 1 file changed, 2 insertions(+) diff --git a/csp/csp/hacs.rkt b/csp/csp/hacs.rkt index 653434fa..58dc1292 100644 --- a/csp/csp/hacs.rkt +++ b/csp/csp/hacs.rkt @@ -124,6 +124,8 @@ (define/contract (add-constraint! prob proc names [proc-name #false]) ((csp? procedure? (listof name?)) (name?) . ->* . void?) + (unless (and (list? names) (andmap name? names)) + (raise-argument-error 'add-constraint! "list of names" names)) (add-constraints! prob proc (list names) proc-name #:caller 'add-constraint!)) (define/contract (alldiff x y)