From 0c0a69dbca3586359d061a4d38b96024a2f49267 Mon Sep 17 00:00:00 2001 From: Matthew Butterick Date: Fri, 13 Mar 2015 10:15:16 -0700 Subject: [PATCH] bugfix --- quad/main-typed-sample.rkt | 1 - quad/main-typed.rkt | 2 +- 2 files changed, 1 insertion(+), 2 deletions(-) diff --git a/quad/main-typed-sample.rkt b/quad/main-typed-sample.rkt index 4f4f8f22..5957483d 100644 --- a/quad/main-typed-sample.rkt +++ b/quad/main-typed-sample.rkt @@ -8,5 +8,4 @@ [world:paper-height-default 700.0]) (define sample (ti5)) (define to (begin (time (typeset sample)))) - to #; (time (send (new pdf-renderer%) render-to-file to "foo.pdf"))) \ No newline at end of file diff --git a/quad/main-typed.rkt b/quad/main-typed.rkt index 8a2e7d91..a78adbd7 100644 --- a/quad/main-typed.rkt +++ b/quad/main-typed.rkt @@ -111,7 +111,7 @@ (get-solution (-> HashTableTop)) (get-solutions (-> (Listof (HashTable String Integer)))) (add-variable (Any (Listof Any) . -> . Void)) - (add-constraint (Procedure (Listof Any) . -> . Void)))]) + (add-constraint ((Index . -> . Boolean) (Listof Any) . -> . Void)))]) (define/typed+provide (lines->columns lines) ((Listof Quad) . -> . (Listof Quad)) ; (lines? . -> . columns?) (define prob (new problem%))