{"size": 329, "ext": "rktd", "max_stars_repo_path": "redex-test/redex/tests/run-err-tests/judgment-form-ellipses.rktd", "max_stars_repo_name": "LiberalArtist/redex", "max_stars_repo_stars_event_min_datetime": null, "max_stars_repo_stars_event_max_datetime": null, "max_issues_repo_path": "redex-test/redex/tests/run-err-tests/judgment-form-ellipses.rktd", "max_issues_repo_name": "LiberalArtist/redex", "max_issues_repo_issues_event_min_datetime": null, "max_issues_repo_issues_event_max_datetime": null, "max_forks_repo_path": "redex-test/redex/tests/run-err-tests/judgment-form-ellipses.rktd", "max_forks_repo_name": "LiberalArtist/redex", "max_forks_repo_forks_event_min_datetime": null, "max_forks_repo_forks_event_max_datetime": null}
{"max_stars_count": null, "max_issues_count": null, "max_forks_count": null, "avg_line_length": 29.9090909091, "max_line_length": 64, "alphanum_fraction": 0.6200607903}
(#rx"incompatible ellipsis match counts"
 ([premise (bad-zip ((any_1 any_i) ...))])
 ([name bad-zip] [binder1 any_1] [binder2 any_i] [ellipsis ...])
 (let ()
   (define-language L)
   (define-judgment-form L
     #:mode (name I)
     [(name (binder1 ellipsis binder2 ellipsis))
      premise])
   (judgment-holds (name (1 2)))))
