bugfix

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")))

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%))