adjust bitmap tests to test judgment form labels (and fix expected result under mac os x)

collects/redex/private/pict.rkt

@@ -856,8 +856,8 @@
                                                    (list-ref eqn 0))))
                              (metafunc-proc-pict-info (metafunction-proc mf))))
                       mfs))]
-         [eqns (select-mf-cases all-eqns #f)]
-         [lhss (select-mf-cases all-lhss #f)]
+         [eqns (select-mf-cases all-eqns)]
+         [lhss (select-mf-cases all-lhss)]
          [rhss (map (lambda (eqn) (wrapper->pict (list-ref eqn 2))) eqns)]
          [_ (unless (or (not current-linebreaks)
                         (= (length current-linebreaks) (length eqns)))

collects/redex/tests/bitmap-test.rkt

@@ -290,9 +290,11 @@
   
   (define-judgment-form nats
     #:mode (sum I I O)
-    [(sum z n n)]
-    [(sum (s n_1) n_2 (s n_3))
-     (sum n_1 n_2 n_3)])
+    [----------- "sumz"
+     (sum z n n)]
+    [(sum n_1 n_2 n_3)
+     ------------------------- "sums"
+     (sum (s n_1) n_2 (s n_3))])
   
   (define-judgment-form nats
     #:mode (mfw I O)